Jermolene
f6ff0a7f71
Deprecate $:/tags/stylesheet in favour of $:/tags/Stylesheet
...
A warning message appears at the top of the story river if any
`$:/tags/stylesheet` tags are found.
Fixing the first half of #824
2014-09-10 09:13:21 +01:00
Jermolene
9c74afdd1a
JSHint obeisance for plugins folder
...
Also add a jshintignore file to skip the various imported modules
2014-08-30 21:32:55 +01:00
natecain
51f54b06f9
Upgrade codemirror to current master
2014-05-06 23:30:40 +02:00
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
João Bolila
a704498155
added suport for vim and emacs keymaps (codemirror updated to 3.20)
2014-01-11 15:23:49 +00: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
