@Override
  protected boolean isAvailable(FileEditor editor, UndoManager undoManager) {
    return undoManager.isUndoAvailable(editor);
  }
@Override
  protected boolean isAvailable(FileEditor editor, UndoManager undoManager)