Jeremy Schomery
0e13a15d3b
removing unnecessary addons from codemirror/addon directory
2017-02-09 08:50:55 +03:30
Jeremy Schomery
21ae725979
updating codemirror to version 5.23.0
2017-02-08 16:05:49 +03:30
tophf
41a3415c79
CodeMirror lint addon init speedup
2015-07-30 02:40:39 +03:00
tophf
4d72102fd9
CodeMirror 5.5.0
2015-07-30 02:40:39 +03:00
tophf
03c9b04503
Editor: add toggle/line/block comment commands
2015-05-27 21:03:25 +03:00
tophf
0308774fc4
Editor: highlight active line
2015-05-27 21:03:25 +03:00
tophf
f2ab3897c4
CSSLint addon: warn on nonadjacent duplicate properties
2015-05-12 01:26:12 +03:00
tophf
d25531977e
CodeMirror 5.2.1 update
...
* keep our custom css-lint.js, no changes in upstream
* use newer show-hint.js - {completeSingle: true} was broken in 5.2.0
* use newer search.js - replace() didn't use previous search query in 5.2.0
2015-05-04 22:06:55 +03:00
tophf
b8c918e502
Mostly mute CSSLint, re-enable gutter marks, hide squiggles
...
Only these rules are enabled:
* Parsing Errors
* Disallow empty rules
* Require use of known properties
* Require properties appropriate for display
2015-03-12 13:18:57 +03:00
9adefaf01e5bf6426d838cd20eae582d2b6ba647
5a0e465f2a
Edit style: autocomplete on Ctrl-Space using CodeMirror hint addon
2015-03-03 21:16:24 +03:00
Jason Barnabe
b4173d68f6
Add CodeMirror addons - search, code folding, match brackets, lint
2015-02-24 22:05:00 -06:00
