void (final Project project, Editor editor, final TextRange range, final ArrayList<? super RangeHighlighter> highlighters) { HighlightManager.getInstance(project).addRangeHighlight(editor, range.getStartOffset(), range.getEndOffset(), EditorColors.SEARCH_RESULT_ATTRIBUTES, true, highlighters); }