dmaluka a150eef6f9 Fix end line number in HighlightMatches (#1662) ...

There is a bit of mess in the usage of HighlightMatches: in some places
we assume that it updates lines from startline to endline inclusive,
in other places we assume it's non-inclusive.
This fix makes it always inclusive.

In particular, it fixes a bug: when we open a file which has no
newline at the end, the last line isn't highlighted.

2020-05-17 16:05:34 -04:00

..

highlight

Fix end line number in HighlightMatches (#1662)

2020-05-17 16:05:34 -04:00