CodeMirror UI

[datiswous]

Bumped into this: http://jagthedrummer.github.io/codemirror-ui/
Maybe an option for the code editor.

[shawn_a]

I have seen this, and i think i looked it over and if I remember correctly, I did not like the way it was written or it was based on old codemirror versions. This is just a codemirror plugin. You could easily also write your own or it could be added to gs on our own if needed.