7 Commits

Include renames

Author	SHA1	Message	Date
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