Package | Description |
---|---|
org.processmining.mxgraph.examples.swing.editor |
Modifier and Type | Field and Description |
---|---|
protected mxUndoManager |
BasicGraphEditor.undoManager |
protected mxUndoManager |
BasicGraphPanel.undoManager |
Modifier and Type | Method and Description |
---|---|
protected mxUndoManager |
BasicGraphEditor.createUndoManager() |
protected mxUndoManager |
BasicGraphPanel.createUndoManager() |
mxUndoManager |
BasicGraphEditor.getUndoManager() |
mxUndoManager |
BasicGraphPanel.getUndoManager() |