void (@NotNull TextRange rangeToHighlight) { final MarkupModelEx markupModel = getEditor().getMarkupModel(); markupModel.addRangeHighlighter(EditorColors.SEARCH_RESULT_ATTRIBUTES, rangeToHighlight.getStartOffset(), rangeToHighlight.getEndOffset(), HighlighterLayer.ADDITIONAL_SYNTAX, HighlighterTargetArea.EXACT_RANGE); }