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