tophf
|
edfca7bfed
|
match-highlighter-helper: do nothing when disabled
|
2017-12-05 07:40:28 +03:00 |
|
tophf
|
3e34c77625
|
clear previous token/selection highlight from scrollbar
|
2017-12-05 05:40:33 +03:00 |
|
tophf
|
5bdaacc049
|
stabilize token highlighting for the match/search mode
|
2017-12-01 21:16:19 +03:00 |
|
tophf
|
2760b0764b
|
fixup b41cc8bc: only rewrite query if regexp
|
2017-12-01 16:22:43 +03:00 |
|
tophf
|
b41cc8bca3
|
4x speed-up of showMatchesOnScrollbar
at the cost of a marginally reduced accuracy when line wrapping is enabled, but the difference shouldn't be more than a few pixels, presumably
|
2017-12-01 05:14:52 +03:00 |
|
tophf
|
7c0d8f0841
|
prevent inline overlays from breaking color swatches
|
2017-11-24 13:19:19 +03:00 |
|
tophf
|
3152a7ebfe
|
simpler plain string method for same token check
|
2017-11-24 13:19:18 +03:00 |
|
tophf
|
a30ef3ed14
|
restore the original match-highlighter and monkeypatch it
|
2017-11-24 13:19:14 +03:00 |
|