1
0
mirror of https://github.com/Jermolene/TiddlyWiki5 synced 2024-12-30 20:10:28 +00:00
TiddlyWiki5/plugins/tiddlywiki/codemirror
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