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

..

codemirror.css

Update CodeMirror plugin to latest version and the new widget framework

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

codemirror.js

Update CodeMirror plugin to latest version and the new widget framework

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

tiddlywiki.files

Add experimental CodeMirror plugin

2013-05-07 14:42:47 +01:00