diff options
| author | Timotej Lazar <timotej.lazar@araneo.org> | 2015-09-30 21:11:52 +0200 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@araneo.org> | 2015-09-30 21:11:52 +0200 |
| commit | ffa31a965e2121d7dd0eb7a582d2b82bd1204c7a (patch) | |
| tree | b5fa6a77f4304e27cf07a62a326e491d1a5cf314 /js/codeq/navigation.js | |
| parent | 23d0fcbd4d152f2cc19a09e2d776e694ca73d42a (diff) | |
Do not override user options in codeq.makeEditor
Also clean up remains of previous CodeMirror panel support.
Diffstat (limited to 'js/codeq/navigation.js')
0 files changed, 0 insertions, 0 deletions