Browse Source

Language protocol: correctly clears flow warnings

merge-requests/393/head
eidheim 7 years ago
parent
commit
a053feb38f
  1. 2
      src/source_language_protocol.cc

2
src/source_language_protocol.cc

@ -1504,9 +1504,9 @@ void Source::LanguageProtocolView::update_flow_coverage() {
if(!flow_coverage_cleared_diagnostic_tooltips) { if(!flow_coverage_cleared_diagnostic_tooltips) {
diagnostic_offsets.clear(); diagnostic_offsets.clear();
diagnostic_tooltips.clear(); diagnostic_tooltips.clear();
get_buffer()->remove_tag_by_name("def:warning_underline", get_buffer()->begin(), get_buffer()->end());
flow_coverage_cleared_diagnostic_tooltips = true; flow_coverage_cleared_diagnostic_tooltips = true;
} }
get_buffer()->remove_tag_by_name("def:warning_underline", get_buffer()->begin(), get_buffer()->end());
num_flow_coverage_warnings = 0; num_flow_coverage_warnings = 0;

Loading…
Cancel
Save