void (@NotNull RangeHighlighter highlighter) { removeHighlighter(highlighter); RangeHighlighter additionalHighlighter = highlighter.getUserData(IN_SELECTION_KEY); if (additionalHighlighter != null) { removeHighlighter(additionalHighlighter); } }