void (@Nullable SpeedSearchSupply speedSearch) { String text = getEditor().getDocument().getText(); Iterable<TextRange> ranges = speedSearch == null ? null : speedSearch.matchingFragments(text); if (ranges != null) { selectSearchResultsInEditor(getEditor(), ranges.iterator()); } if (RecentLocationsAction.getEmptyFileText().equals(text)) { getEditor().getMarkupModel().addRangeHighlighter( 0, RecentLocationsAction.getEmptyFileText().length(), HighlighterLayer.SYNTAX, SimpleTextAttributes.GRAYED_ATTRIBUTES.toTextAttributes(), HighlighterTargetArea.EXACT_RANGE); } }