@Override
      public void documentChanged(@NotNull DocumentEvent event) {
        fireHighlightedSearchResultsAreOutdated();
      }
@Override
      public void documentChanged(@NotNull DocumentEvent event)