void (@NotNull Pair<TextRange, List<TextRange>> ranges) { dropHighlight(); TextRange wholeRange = ranges.first; List<TextRange> rangesToExtract = ranges.second; List<TextRange> rangesToRemove = RangeSplitter.split(wholeRange, rangesToExtract); addHighlights(rangesToRemove, EditorColors.DELETED_TEXT_ATTRIBUTES); addHighlights(rangesToExtract, EditorColors.SEARCH_RESULT_ATTRIBUTES); }