void () { if (myEditConfigOnly || myRangeHighlighters.isEmpty()) { return; } // retrieval of editor needs to be outside invokeLater(), otherwise the editor might have already changed. final Editor editor = myEditor; if (editor == null) { return; } ApplicationManager.getApplication().invokeLater(() -> { if (myProject.isDisposed()) return; final HighlightManager highlightManager = HighlightManager.getInstance(myProject); for (RangeHighlighter highlighter : myRangeHighlighters) { highlightManager.removeSegmentHighlighter(editor, highlighter); } WindowManager.getInstance().getStatusBar(myProject).setInfo(""); myRangeHighlighters.clear(); }); }