Age | Commit message (Expand) | Author |
---|---|---|
2015-09-30 | Do not override user options in codeq.makeEditor | Timotej Lazar |
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 |