public UndoManager2() { fOperationHistroy= OperationHistoryFactory.getOperationHistory(); }
public UndoManager2() { fOperationHistory= OperationHistoryFactory.getOperationHistory(); }
public UndoManager2() { fOperationHistory= OperationHistoryFactory.getOperationHistory(); }
/** * Creates a new undo manager who remembers the specified number of edit commands. * * @param undoLevel the length of this manager's history */ public DefaultUndoManager(int undoLevel) { fHistory= OperationHistoryFactory.getOperationHistory(); setMaximalUndoLevel(undoLevel); }
/** * Creates a new undo manager who remembers the specified number of edit commands. * * @param undoLevel the length of this manager's history */ public DefaultUndoManager(int undoLevel) { fHistory= OperationHistoryFactory.getOperationHistory(); setMaximalUndoLevel(undoLevel); }
@Override public boolean redoable() { return OperationHistoryFactory.getOperationHistory().canRedo(fUndoContext); }
@Override public boolean undoable() { return OperationHistoryFactory.getOperationHistory().canUndo(fUndoContext); }
@Override public boolean undoable() { return OperationHistoryFactory.getOperationHistory().canUndo(fUndoContext); }
@Override public boolean redoable() { return OperationHistoryFactory.getOperationHistory().canRedo(fUndoContext); }
@Override public void disconnect() { if (fReferenceCount > 0) { fManagerCache.clear(); fReferenceCount--; } if (fReferenceCount == 0) { if (fOperationListener != null) OperationHistoryFactory.getOperationHistory().removeOperationHistoryListener(fOperationListener); if (fResourceListener != null) ResourcesPlugin.getWorkspace().removeResourceChangeListener(fResourceListener); fOperationListener= null; } }
@Override public void disconnect() { if (fReferenceCount > 0) { fManagerCache.clear(); fReferenceCount--; } if (fReferenceCount == 0) { if (fOperationListener != null) OperationHistoryFactory.getOperationHistory().removeOperationHistoryListener(fOperationListener); if (fResourceListener != null) ResourcesPlugin.getWorkspace().removeResourceChangeListener(fResourceListener); fOperationListener= null; } }
/** * * Create a DocumentUndoManager for the given document. * * @param document the document whose undo history is being managed. */ public DocumentUndoManager(IDocument document) { super(); Assert.isNotNull(document); fDocument= document; fHistory= OperationHistoryFactory.getOperationHistory(); fUndoContext= new ObjectUndoContext(fDocument); fConnected= new ArrayList<>(); fDocumentUndoListeners= new ListenerList<>(ListenerList.IDENTITY); }
/** * * Create a DocumentUndoManager for the given document. * * @param document the document whose undo history is being managed. */ public DocumentUndoManager(IDocument document) { super(); Assert.isNotNull(document); fDocument= document; fHistory= OperationHistoryFactory.getOperationHistory(); fUndoContext= new ObjectUndoContext(fDocument); fConnected= new ArrayList<>(); fDocumentUndoListeners= new ListenerList<>(ListenerList.IDENTITY); }
@Override public void undo() throws ExecutionException { if (undoable()) OperationHistoryFactory.getOperationHistory().undo(fUndoContext, null, null); }
@Override public void undo() throws ExecutionException { if (undoable()) OperationHistoryFactory.getOperationHistory().undo(fUndoContext, null, null); }
/** * {@inheritDoc} */ public void disconnect() { if (fReferenceCount > 0) { fUndoStack.fManagerCache.clear(); fReferenceCount--; } if (fReferenceCount == 0) { if (fOperationListener != null) OperationHistoryFactory.getOperationHistory().removeOperationHistoryListener(fOperationListener); if (fResourceListener != null) ResourcesPlugin.getWorkspace().removeResourceChangeListener(fResourceListener); fUndoStack= null; fRedoQueue= null; fOperationListener= null; } }
@Override public void connect() { fReferenceCount++; if (fReferenceCount == 1) { fOperationListener= new IOperationHistoryListener() { @Override public void historyNotification(final OperationHistoryEvent event) { performHistoryNotification(event); } }; OperationHistoryFactory.getOperationHistory().addOperationHistoryListener(fOperationListener); fResourceListener= new IResourceChangeListener() { @Override public void resourceChanged(final IResourceChangeEvent event) { peformResourceChanged(event); } }; ResourcesPlugin.getWorkspace().addResourceChangeListener(fResourceListener, IResourceChangeEvent.PRE_CLOSE | IResourceChangeEvent.POST_CHANGE); } }
@Override public void connect() { fReferenceCount++; if (fReferenceCount == 1) { fOperationListener= new IOperationHistoryListener() { @Override public void historyNotification(final OperationHistoryEvent event) { performHistoryNotification(event); } }; OperationHistoryFactory.getOperationHistory().addOperationHistoryListener(fOperationListener); fResourceListener= new IResourceChangeListener() { @Override public void resourceChanged(final IResourceChangeEvent event) { peformResourceChanged(event); } }; ResourcesPlugin.getWorkspace().addResourceChangeListener(fResourceListener, IResourceChangeEvent.PRE_CLOSE | IResourceChangeEvent.POST_CHANGE); } }
public static IUndoContext getUndoContext() { if (fRefactoringUndoContext == null) { fRefactoringUndoContext= new RefactoringUndoContext(); IUndoContext workspaceContext= ResourcesPlugin.getWorkspace().getAdapter(IUndoContext.class); if (workspaceContext instanceof ObjectUndoContext) { ((ObjectUndoContext)workspaceContext).addMatch(fRefactoringUndoContext); } IOperationHistory operationHistory= OperationHistoryFactory.getOperationHistory(); operationHistory.setLimit(fRefactoringUndoContext, 5); } return fRefactoringUndoContext; }
public static IUndoContext getUndoContext() { if (fRefactoringUndoContext == null) { fRefactoringUndoContext= new RefactoringUndoContext(); IUndoContext workspaceContext= ResourcesPlugin.getWorkspace().getAdapter(IUndoContext.class); if (workspaceContext instanceof ObjectUndoContext) { ((ObjectUndoContext)workspaceContext).addMatch(fRefactoringUndoContext); } IOperationHistory operationHistory= OperationHistoryFactory.getOperationHistory(); operationHistory.setLimit(fRefactoringUndoContext, 5); } return fRefactoringUndoContext; }