Age | Commit message (Collapse) | Author | |
---|---|---|---|
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 | |