Add syntax color option to theme editor plugin, using CodeMirror? ( http://codemirror.net/), fixes #628