summaryrefslogtreecommitdiff
path: root/js/codeq/editor.js
AgeCommit message (Expand)Author
2015-11-18Escape from editor using the escape keyTimotej Lazar
2015-11-18Editor: decrease indent with shift-tab / backspaceTimotej Lazar
2015-09-30Do not override user options in codeq.makeEditorTimotej Lazar
2015-09-30responsiveness and scrolling fixed for all viewport sizesMarko Pušnik
2015-09-29Add a statusbar to the editor widgetTimotej Lazar