Jermolene 06e0bdbfbb Improve readability of CodeMirror editor		2013-11-09 15:56:17 +00:00
..
files	Update CodeMirror plugin to latest version and the new widget framework	2013-10-25 09:48:57 +01:00
codemirroreditor.js	Change new_widget to widget	2013-11-08 08:47:00 +00:00
plugin.info	Ensure that the core plugins inherit their version number from the main package.info	2013-08-26 13:28:23 +01:00
styles.tid	Improve readability of CodeMirror editor	2013-11-09 15:56:17 +00:00