summaryrefslogtreecommitdiff
path: root/js/codeq/editor.js
AgeCommit message (Collapse)Author
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