10 Commits

Author	SHA1	Message	Date
Raymond Hill	6871d9aed4	add ability to filter out rules in "My rules" pane	2018-03-21 07:24:52 -04:00
Raymond Hill	d29b40991a	remove use of innerHTML to please Firefox validator (see https://github.com/codemirror/CodeMirror/pull/5313)	2018-03-17 08:58:55 -04:00
Raymond Hill	caef7d00bb	add CodeMirror's merge.js addon + modify imported diff code for compatibility	2018-03-11 10:59:02 -04:00
Raymond Hill	ed8c9ac04e	add missing addon for 9df0202a00	2018-03-05 11:27:23 -05:00
Raymond Hill	bc61bef9a7	address #3567	2018-03-04 14:07:01 -05:00
Raymond Hill	b14011deb8	add CodeMirror's lib README to the package	2018-03-02 07:15:41 -05:00
Raymond Hill	8680bbc086	fine tuning codemirror styles	2018-03-01 11:26:24 -05:00
Raymond Hill	273c80564a	fix rendering of comments starting with #	2018-02-28 19:16:19 -05:00
Raymond Hill	61ec088d43	integrate codemirror into "My filters" pane	2018-02-28 18:51:33 -05:00
Raymond Hill	ac7e012633	start integration of codemirror to improve UI	2018-02-28 12:31:43 -05:00