Ace Editor: Lots of tweaks