3 Commits

Author	SHA1	Message	Date
gorhill	ea14c3f266	fixed various glitches with highlighter	2014-07-02 18:42:16 -04:00
gorhill	5102bd7c21	highlight part hit by filter	2014-07-02 16:52:57 -04:00
gorhill	fb62bbc29e	this fixes #12, #37	2014-07-02 12:02:29 -04:00