void () { MarkupModel markupModel = myEditor.getMarkupModel(); RangeHighlighter[] allHighlighters = markupModel.getAllHighlighters(); for (RangeHighlighter highlighter : myAddedHighlighters) { if (ArrayUtil.indexOf(allHighlighters, highlighter) != -1) { highlighter.dispose(); } } myAddedHighlighters.clear(); }