public class GraphMouseListener
extends java.awt.event.MouseAdapter
Constructor and Description |
---|
GraphMouseListener(ProcessTree tree,
org.jgraph.JGraph graph,
java.util.Set<java.util.UUID> foldedNodes) |
Modifier and Type | Method and Description |
---|---|
void |
addEditorPanel(EditorPanel editorPanel) |
void |
addGraphPanel(GraphPanel graphPanel) |
void |
addPropertyPanel(PropertyPanel propertyPanel) |
java.util.UUID |
getPreviouslySelectedID() |
java.util.UUID |
getSelectedID() |
void |
mousePressed(java.awt.event.MouseEvent e) |
void |
setSelectedID(java.util.UUID newID)
Sets the selected ID, can be used for variables and originators (it will raise a mousePressed event)
|
void |
updateGraph(org.jgraph.JGraph graph) |
public GraphMouseListener(ProcessTree tree, org.jgraph.JGraph graph, java.util.Set<java.util.UUID> foldedNodes)
public void addGraphPanel(GraphPanel graphPanel)
public void addPropertyPanel(PropertyPanel propertyPanel)
public void addEditorPanel(EditorPanel editorPanel)
public void updateGraph(org.jgraph.JGraph graph)
public java.util.UUID getSelectedID()
public java.util.UUID getPreviouslySelectedID()
public void setSelectedID(java.util.UUID newID)
newID
- public void mousePressed(java.awt.event.MouseEvent e)
mousePressed
in interface java.awt.event.MouseListener
mousePressed
in class java.awt.event.MouseAdapter