xenia/home
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Highlighter: In general, highlight replaced ranges

Browse Source 
Fixes #1251
This commit is contained in:
Maxime Coste 2017-12-21 11:25:23 +11:00
parent 0814bb2962
commit a38d6cc3f0
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/highlighters.cc
View File

@ -229,7 +229,7 @@ static HighlighterAndId create_fill_highlighter(HighlighterParameters params)
auto func = [=](HighlightContext, DisplayBuffer& display_buffer, BufferRange range) 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))); apply_face(get_face(facespec)));
}; };
return {"fill_" + facespec, make_highlighter(std::move(func))}; return {"fill_" + facespec, make_highlighter(std::move(func))};
@ -291,7 +291,7 @@ public:
highlight_range(display_buffer, highlight_range(display_buffer,
matches[m].begin, matches[m].end, 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); auto& r = std::get<0>(range);
if (buffer.is_valid(r.first) and buffer.is_valid(r.last)) 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)))); apply_face(get_face(std::get<1>(range))));
} }
catch (runtime_error&) catch (runtime_error&)