@Override
      public void documentChanged(@NotNull DocumentEvent event) {
        Document document = event.getDocument();
        for (Editor editor : EditorFactory.getInstance().getEditors(document)) {
          hideHighlights(editor, HIDE_BY_TEXT_CHANGE);
        }
      }
@Override
      public void documentChanged(@NotNull DocumentEvent event)