From a38d6cc3f0a495894a4699d1bfd9f57545382f95 Mon Sep 17 00:00:00 2001 From: Maxime Coste Date: Thu, 21 Dec 2017 11:25:23 +1100 Subject: [PATCH] Highlighter: In general, highlight replaced ranges Fixes #1251 --- src/highlighters.cc | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/highlighters.cc b/src/highlighters.cc index aeec70ef..823e3986 100644 --- a/src/highlighters.cc +++ b/src/highlighters.cc @@ -229,7 +229,7 @@ static HighlighterAndId create_fill_highlighter(HighlighterParameters params) auto func = [=](HighlightContext, DisplayBuffer& display_buffer, BufferRange range) { - highlight_range(display_buffer, range.begin, range.end, true, + highlight_range(display_buffer, range.begin, range.end, false, apply_face(get_face(facespec))); }; return {"fill_" + facespec, make_highlighter(std::move(func))}; @@ -291,7 +291,7 @@ public: highlight_range(display_buffer, matches[m].begin, matches[m].end, - true, apply_face(face)); + false, apply_face(face)); } } @@ -1467,7 +1467,7 @@ private: { auto& r = std::get<0>(range); if (buffer.is_valid(r.first) and buffer.is_valid(r.last)) - highlight_range(display_buffer, r.first, buffer.char_next(r.last), true, + highlight_range(display_buffer, r.first, buffer.char_next(r.last), false, apply_face(get_face(std::get<1>(range)))); } catch (runtime_error&)