Age | Commit message (Collapse) | Author | |
---|---|---|---|
2015-11-18 | Escape from editor using the escape key | Timotej Lazar | |
2015-11-18 | Editor: decrease indent with shift-tab / backspace | Timotej Lazar | |
Backspace is "smart" - behaves normally except on the first non-whitespace character in the current line. | |||
2015-09-30 | Do not override user options in codeq.makeEditor | Timotej Lazar | |
Also clean up remains of previous CodeMirror panel support. | |||
2015-09-30 | responsiveness and scrolling fixed for all viewport sizes | Marko Pušnik | |
2015-09-29 | Add a statusbar to the editor widget | Timotej Lazar | |