public class EditorPanel
extends java.lang.Object
Constructor and Description |
---|
EditorPanel(org.processmining.contexts.uitopia.UIPluginContext context,
ProcessTree tree,
GraphPanel graphPanel,
GraphMouseListener graphMouseListener,
java.awt.Dimension dimEditorPanel,
java.lang.Boolean beginner) |
Modifier and Type | Method and Description |
---|---|
void |
defrostPanel() |
void |
freezePanel() |
javax.swing.JComponent |
getEditorPanel() |
int |
getWidth() |
void |
mousePressed() |
public EditorPanel(org.processmining.contexts.uitopia.UIPluginContext context, ProcessTree tree, GraphPanel graphPanel, GraphMouseListener graphMouseListener, java.awt.Dimension dimEditorPanel, java.lang.Boolean beginner)