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 |
|