Jermolene 1717c93d00 Refactor codemirror plugin ...

It no longer overrides the edit-text widget. Instead we use the editor
type mappings to select which content types should be handled by which
editor.

2014-06-18 13:54:19 +01:00

..

lib

Upgrade codemirror to current master

2014-05-06 23:30:40 +02:00

edit-codemirror.js

Refactor codemirror plugin

2014-06-18 13:54:19 +01:00

EditorTypeMappings.multids

Refactor codemirror plugin

2014-06-18 13:54:19 +01:00

instructions.tid

Refactor codemirror plugin

2014-06-18 13:54:19 +01:00

plugin.info

Remove "coreversion" metadata from plugins

2013-12-14 09:49:39 +00:00

styles.tid

Improve readability of CodeMirror editor

2013-11-09 15:56:17 +00:00