in src/main/java/idea/plugin/psiviewer/view/EditorPsiElementHighlighter.java [98:110]
private void remove() {
if (_highlighter != null && _highlighter.isValid()) {
debug("Removing highlighter for " + _highlighter);
_editor.getMarkupModel().removeHighlighter(_highlighter);
_highlighter = null;
}
if (_referenceHighlighter != null && _referenceHighlighter.isValid()) {
debug("Removing highlighter for " + _referenceHighlighter);
_editor.getMarkupModel().removeHighlighter(_referenceHighlighter);
_referenceHighlighter = null;
}
}