public class MouseInteraction
extends java.awt.event.MouseAdapter
| Constructor and Description |
|---|
MouseInteraction(ProcessTree tree,
org.jgraph.JGraph graph,
javax.swing.JTabbedPane tabPane) |
MouseInteraction(ProcessTree tree,
org.jgraph.JGraph graph,
TreeLayoutBuilder builder,
javax.swing.JSplitPane splitPane,
javax.swing.JScrollPane scrollPane,
javax.swing.JTabbedPane tabPane,
java.util.Set<java.util.UUID> foldedNodes) |
| Modifier and Type | Method and Description |
|---|---|
void |
mousePressed(java.awt.event.MouseEvent e) |
public MouseInteraction(ProcessTree tree, org.jgraph.JGraph graph, javax.swing.JTabbedPane tabPane)
public MouseInteraction(ProcessTree tree, org.jgraph.JGraph graph, TreeLayoutBuilder builder, javax.swing.JSplitPane splitPane, javax.swing.JScrollPane scrollPane, javax.swing.JTabbedPane tabPane, java.util.Set<java.util.UUID> foldedNodes)