public class EditorPanel
extends java.lang.Object
Constructor and Description |
---|
EditorPanel(org.processmining.contexts.uitopia.UIPluginContext context,
OCBCModel model,
InformationPanel informationPanel,
GraphPanel graphPanel,
GraphMouseListener graphMouseListener,
java.awt.Dimension dimEditorPanel) |
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, OCBCModel model, InformationPanel informationPanel, GraphPanel graphPanel, GraphMouseListener graphMouseListener, java.awt.Dimension dimEditorPanel)