for (RangeHighlighter highLighter : myExtraHighLighters) {
highLighter.dispose();
}
myExtraHighLighters.clear();
}
<BUG>private void removeHighlighters(Collection<RangeHighlighter> highlighters) {
</BUG>
MarkupModel markupModel = getMarkupModel();
if (markupModel != null) {
for (RangeHighlighter highlighter : highlighters) {

for (RangeHighlighter highLighter : myExtraHighLighters) {
highLighter.dispose();
}
myExtraHighLighters.clear();
}
private void removeHighlighters(@NotNull Collection<RangeHighlighter> highlighters) {
MarkupModel markupModel = getMarkupModel();
if (markupModel != null) {
for (RangeHighlighter highlighter : highlighters) {
