5 Commits

Author	SHA1	Message	Date
tophf	d10e83d15c	editor: rewrite global search/replace	2017-12-18 10:27:50 +03:00
tophf	08fab9559c	CodeMirror 5.32	2017-11-24 13:19:20 +03:00
tophf	a30ef3ed14	restore the original match-highlighter and monkeypatch it	2017-11-24 13:19:14 +03:00
tophf	93f1bed66c	CodeMirror 5.31.0 ... fixes #225	2017-11-05 09:13:26 +03:00
Rob Garrison	7a9d629ec8	Restructure folders	2017-07-12 16:26:20 -05:00