void (@NotNull RangeHighlighter highlighter) { Project project = mySearchResults.getProject(); if (project.isDisposed()) return; mySearchResults.getEditor().getMarkupModel().removeHighlighter(highlighter); }