void () { final HighlightManager highlightManager = HighlightManager.getInstance(dataProvider.getProject()); for (RangeHighlighter pageRangeHighlighter : pageRangeHighlighters) { highlightManager.removeSegmentHighlighter(editor, pageRangeHighlighter); } pageRangeHighlighters.clear(); }