@Override
  protected SharedUndoRedoStacksHolder getSharedReverseStacksHolder() {
    return myManager.getSharedRedoStacksHolder();
  }
@Override
  protected SharedUndoRedoStacksHolder getSharedReverseStacksHolder()