@Override
      public void documentChangedNonBulk(@NotNull DocumentEvent event) {
        if (event.getOldLength() != 0 || event.getNewLength() != 0) onDocumentChange();
      }
@Override
      public void documentChangedNonBulk(@NotNull DocumentEvent event)