org.jgraph.graph
public class GraphUndoManager extends UndoManager
Method Summary | |
---|---|
boolean | canRedo(Object source)
Overridden to preserve usual semantics: returns true if a redo
operation would be successful now for the given view, false otherwise |
boolean | canUndo(Object source)
Overridden to preserve usual semantics: returns true if an undo
operation would be successful now for the given view, false otherwise |
protected UndoableEdit | editToBeRedone(Object source) |
protected UndoableEdit | editToBeUndone(Object source) |
protected UndoableEdit | nextEditToBeRedone(UndoableEdit current)
Returns the the next significant edit wrt to current
to be redone if redo is called. |
protected UndoableEdit | nextEditToBeUndone(UndoableEdit current)
Returns the the next significant edit wrt to current
to be undone if undo is called. |
void | redo(Object source)
If this UndoManager is inProgress ,
redoes the last significant UndoableEdit with
respect to source or after, and all insignificant
edits up to it. |
void | undo(Object source)
If this UndoManager is inProgress, undo the last significant
UndoableEdit wrt to source, and all insignificant edits back to
it. |
UndoManager
is inProgress
,
redoes the last significant UndoableEdit
with
respect to source or after, and all insignificant
edits up to it. Updates indexOfNextAdd
accordingly.
If not inProgress
, indexOfNextAdd
is ignored and super's routine is called.
If not inProgress, indexOfNextAdd is ignored and super's routine is called.
See Also: UndoManager#undo