Jeremy Ruston cfa68dade5 Update CodeMirror plugin to latest version and the new widget framework ... Now the CodeMirror plugin modifies the behaviour of the core edit-text widget.		2013-10-25 09:48:57 +01:00
..
files	Update CodeMirror plugin to latest version and the new widget framework	2013-10-25 09:48:57 +01:00
codemirroreditor.js	Update CodeMirror plugin to latest version and the new widget framework	2013-10-25 09:48:57 +01: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	Update CodeMirror plugin to latest version and the new widget framework	2013-10-25 09:48:57 +01:00