Package | Description |
---|---|
org.processmining.processtree.editor.graphpanel | |
org.processmining.processtree.editor.interaction |
Modifier and Type | Method and Description |
---|---|
void |
GraphPanel.setEditorPanel(EditorPanel editorPanel) |
Modifier and Type | Method and Description |
---|---|
void |
GraphMouseListener.addEditorPanel(EditorPanel editorPanel) |