summaryrefslogtreecommitdiff
path: root/js/codeq/editor.js
AgeCommit message (Collapse)Author
2015-11-18Escape from editor using the escape keyTimotej Lazar
2015-11-18Editor: decrease indent with shift-tab / backspaceTimotej Lazar
Backspace is "smart" - behaves normally except on the first non-whitespace character in the current line.
2015-09-30Do not override user options in codeq.makeEditorTimotej Lazar
Also clean up remains of previous CodeMirror panel support.
2015-09-30responsiveness and scrolling fixed for all viewport sizesMarko Pušnik
2015-09-29Add a statusbar to the editor widgetTimotej Lazar