void () { clearHighlightedSearchResults(); List<TextRange> highlightRanges = getAllSearchResultsRangesInDocument(); if (!highlightRanges.isEmpty()) { HighlightManager highlightManager = HighlightManager.getInstance(dataProvider.getProject()); for (TextRange range : highlightRanges) { highlightManager.addRangeHighlight( editor, range.getStartOffset(), range.getEndOffset(), EditorColors.TEXT_SEARCH_RESULT_ATTRIBUTES, true, pageRangeHighlighters); } } }