Jeremy Ruston 693d1803bf Fix problem with codemirror plugin and handling of ordinary input fields

2013-10-30 14:28:20 +00:00

..

files

Update CodeMirror plugin to latest version and the new widget framework

2013-10-25 09:48:57 +01:00

codemirroreditor.js

Fix problem with codemirror plugin and handling of ordinary input fields

2013-10-30 14:28:20 +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

Update CodeMirror plugin to latest version and the new widget framework

2013-10-25 09:48:57 +01:00