diff --git a/src/highlighters.cc b/src/highlighters.cc index aba0079d..c88f078d 100644 --- a/src/highlighters.cc +++ b/src/highlighters.cc @@ -940,6 +940,7 @@ HighlighterAndId create_flag_lines_highlighter(HighlighterParameters params) *ins_pos = std::move(*it); ++ins_pos; } + lines.erase(ins_pos, lines.end()); line_flags.timestamp = buffer.timestamp(); }