4 Commity (cbc20a40de3d8cdb71c00c119cce53c8bd0b9d4f)

Autor	SHA1	Wiadomość	Data
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