public class MouseInteraction
extends java.awt.event.MouseAdapter
| Constructor and Description |
|---|
MouseInteraction(ParetoFront<?> pf,
org.jgraph.JGraph graph,
javax.swing.JTabbedPane tabPane,
java.lang.Class<? extends org.processmining.plugins.properties.processmodel.Property<?>> X,
java.lang.Class<? extends org.processmining.plugins.properties.processmodel.Property<?>> Y) |
| Modifier and Type | Method and Description |
|---|---|
void |
mousePressed(java.awt.event.MouseEvent e) |
public MouseInteraction(ParetoFront<?> pf, org.jgraph.JGraph graph, javax.swing.JTabbedPane tabPane, java.lang.Class<? extends org.processmining.plugins.properties.processmodel.Property<?>> X, java.lang.Class<? extends org.processmining.plugins.properties.processmodel.Property<?>> Y)