public class GraphPanel
extends java.lang.Object
Constructor and Description |
---|
GraphPanel(ProcessTree tree,
java.awt.Dimension dimGraphPanel,
java.util.Set<java.util.UUID> foldedNodes) |
Modifier and Type | Method and Description |
---|---|
void |
addMouseListener(java.awt.event.MouseListener mouseListener) |
javax.swing.JComponent |
getComponent() |
org.jgraph.JGraph |
getGraph() |
void |
redraw() |
void |
setEditorPanel(EditorPanel editorPanel) |
public GraphPanel(ProcessTree tree, java.awt.Dimension dimGraphPanel, java.util.Set<java.util.UUID> foldedNodes)
public javax.swing.JComponent getComponent()
public org.jgraph.JGraph getGraph()
public void addMouseListener(java.awt.event.MouseListener mouseListener)
public void setEditorPanel(EditorPanel editorPanel)
public void redraw()