private void saveHistory() {
    if (myLastSaveStamp == getCurrentTimeStamp()) {
      return;
    }

    myHelper.setContent(myConsole.getEditorDocument().getText());
    myHelper.saveHistory();
    myLastSaveStamp = getCurrentTimeStamp();
  }
private void saveHistory()