@Override public void sessionStarted(ISarosSession newSarosSession) { undoHistory.clear(); newSarosSession.addActivityProvider(UndoManager.this); enabled = preferences.isConcurrentUndoActivated(); eclipseHistory.addOperationApprover(operationBlocker); UndoManager.this.sarosSession = newSarosSession; }
@Override public void sessionEnded(ISarosSession oldSarosSession) { oldSarosSession.removeActivityProvider(UndoManager.this); undoHistory.clear(); enabled = false; eclipseHistory.removeOperationApprover(operationBlocker); UndoManager.this.sarosSession = null; currentLocalCompositeOperation = null; currentLocalAtomicOperation = null; }