public class GraphMouseListener
extends java.awt.event.MouseAdapter
| Constructor and Description |
|---|
GraphMouseListener(org.processmining.framework.plugin.PluginContext context,
javax.swing.JSplitPane splitPane,
org.processmining.models.jgraph.visualization.ProMJGraphPanel graph,
java.util.List<java.lang.Class<? extends ToolInterface>> tools) |
| Modifier and Type | Method and Description |
|---|---|
javax.swing.JComponent |
getTreeVisualisation() |
void |
mousePressed(java.awt.event.MouseEvent e) |
public GraphMouseListener(org.processmining.framework.plugin.PluginContext context,
javax.swing.JSplitPane splitPane,
org.processmining.models.jgraph.visualization.ProMJGraphPanel graph,
java.util.List<java.lang.Class<? extends ToolInterface>> tools)