5 Commits

Author	SHA1	Message	Date
Jeremy Ruston	2adf09129d	Introduce text editor toolbar (#2315) ... Tada!	2016-04-22 08:36:29 +01:00
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	06e0bdbfbb	Improve readability of CodeMirror editor	2013-11-09 15:56:17 +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	eebf3dae95	CodeMirror updates	2013-05-15 17:32:28 +01:00