@Override
          public void beforeDocumentChange(@NotNull DocumentEvent event) {
            ApplicationManager.getApplication().invokeLater(() -> Disposer.dispose(DfaAssistMarkup.this));
          }
@Override
          public void beforeDocumentChange(@NotNull DocumentEvent event)