mirrors/TiddlyWiki5
1
0
Fork 0
mirror of https://github.com/Jermolene/TiddlyWiki5 synced 2026-03-02 13:59:50 +00:00
Code Issues Releases Wiki Activity
3,765 Commits 134 Branches 70 Tags
4e101e240cbb048417f5351082eabb027052d9e2
Commit Graph

3 Commits

Author SHA1 Message Date
Mario Pietsch
66254b436c fix #215 cm gutter adjust .CodeMirror-linenumber min-width, font-size. It should work up to 999 lines now. There should be a ControlPanel tab for codemirror 2014-01-25 23:33:24 +01:00
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
Jeremy Ruston
dd8c8567fd Add experimental CodeMirror plugin 
The plugin is incomplete, and currently abandoned. It loads up an
instance of CodeMirror as an editor, and loads the right tiddler into
it, but the work hasn't been done to allow changes to be saved. The
startup time is ridiculously long, which is why I abandoned it.
 2013-05-07 14:42:47 +01:00