Board Thread:New Features/@comment-4079189-20150829183613/@comment-126761-20150903132729

Dessamator wrote:

There are also many functions that the code-editor has which are hidden from users, including ways to customize the editor, the theme, wrap or no wrap, and for example change it from a xml editor to js or lua or php editor on the fly without any hacks.

I'm guessing staff doesn't want it to be public knowledge or they'd add it to the help page, so I'll refrain from indicating exactly how those are done. It's based on the Ace editor, which does have a whole range of options - we just don't expose them. We'd have no issue with users using personal JS to tweak it to their liking. (Of course, if something is highly sought after, we'd be happy to consider making global tweaks.)