public void setUndoManager(IStructuredTextUndoManager newUndoManager) { undoManager = newUndoManager; undoManager.setCommandStack(commandStack); } }
public void undoOperationSelectionChanged(UndoDocumentEvent event) { IDocumentSelectionMediator requester = event.getRequester(); if (this == requester) { final int offset = event.getOffset(); final int length = event.getLength();
/** * Execute a command within the editing domain. */ public void executeViaUndoManager(String label, Command command) { if (command.canExecute()) { if (undoManager != null) { undoManager.beginRecording(this, label); command.execute(); undoManager.endRecording(this); } else executeViaStack(command); } }
.getModel().getUndoManager(); if (_undo) { Command c = undoManager.getUndoCommand(); this.setEnabled(undoManager.undoable()); if (c != null) { String label = c.getLabel(); Command c = undoManager.getRedoCommand(); this.setEnabled(undoManager.redoable()); if (c != null) { String label = c.getLabel();
/** * Undoes the changes performed during <code>execute()</code>. This * method should only be called after <code>execute</code> has been * called, and only when <code>canUndo()</code> returns <code>true</code>. * * @see #canUndo() */ public void undo() { // this method should in fact never be called, because we have already // delegate undo // operations to source view. getModel().getUndoManager().undo(); }
public void setModel(IStructuredModel model) { if (_model != null) { if (_model.getUndoManager() != null) _model.getUndoManager().disconnect(this); _model.removeModelStateListener(_internalModelListener); _model.addModelStateListener(_internalModelListener); if (_model.getUndoManager() != null) { _model.getUndoManager().connect(this); updateActionsWhenModelChange();
/** * Re-executes the Command. This method should only be called after * <code>undo()</code> has been called. */ public void redo() { // this method should in fact never be called, because we have already // delegate undo // operations to source view. getModel().getUndoManager().redo(); }
public void dispose() { if (_model != null) { _model.getUndoManager().disconnect(this); } super.dispose(); }
session = ext4.startRewriteSession(DocumentRewriteSessionType.UNRESTRICTED_SMALL); undo.beginRecording(domModel); } finally { if(!tuple.isReadOnly()) { undo.endRecording(domModel); if(session != null && domModel.getStructuredDocument() instanceof IDocumentExtension4) { IDocumentExtension4 ext4 = (IDocumentExtension4) domModel.getStructuredDocument();
public void undo() { // ((Element)parent).removeAttribute(ad.getAttrName()); getModel().getUndoManager().undo(); }