void () { ourRenamersStack.pop(); if (myHighlighters != null) { Project project = myEditor.getProject(); if (project != null && !project.isDisposed()) { final HighlightManager highlightManager = HighlightManager.getInstance(project); for (final RangeHighlighter highlighter : myHighlighters) { highlightManager.removeSegmentHighlighter(myEditor, highlighter); } } } }