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)