canRedo(Object source) | org.jgraph.graph.GraphUndoManager | |
canUndo(Object source) | org.jgraph.graph.GraphUndoManager | |
editToBeRedone(Object source) | org.jgraph.graph.GraphUndoManager | [protected] |
editToBeUndone(Object source) | org.jgraph.graph.GraphUndoManager | [protected] |
nextEditToBeRedone(UndoableEdit current) | org.jgraph.graph.GraphUndoManager | [protected] |
nextEditToBeUndone(UndoableEdit current) | org.jgraph.graph.GraphUndoManager | [protected] |
redo(Object source) | org.jgraph.graph.GraphUndoManager | |
undo(Object source) | org.jgraph.graph.GraphUndoManager |