@Override
      public void beforeDocumentSaving(@NotNull Document document) {
        if (document == myConsole.getEditorDocument()) {
          saveHistory();
        }
      }
@Override
      public void beforeDocumentSaving(@NotNull Document document)