@Override
    public void documentChanged(@NotNull DocumentEvent e) {
      if (myDuringModification) return;
      onDocumentChanged1(e);
    }
@Override
    public void documentChanged(@NotNull DocumentEvent e)