Mario Pietsch 66254b436c fix #215 cm gutter adjust .CodeMirror-linenumber min-width, font-size. It should work up to 999 lines now. There should be a ControlPanel tab for codemirror		2014-01-25 23:33:24 +01:00
..
files	…
codemirroreditor.js	…
instructions.tid	…
plugin.info	…
styles.tid	…