public class EditorPanelCommon
extends java.lang.Object
Constructor and Description |
---|
EditorPanelCommon(org.processmining.contexts.uitopia.UIPluginContext context,
ProcessTree tree,
int maxWidth,
int maxHeight,
GraphMouseListener graphMouseListener,
GraphPanel graphPanel,
java.util.Collection<javax.swing.JComponent> components) |
Modifier and Type | Method and Description |
---|---|
javax.swing.JComponent |
createCommon() |
int |
getHeight() |
public EditorPanelCommon(org.processmining.contexts.uitopia.UIPluginContext context, ProcessTree tree, int maxWidth, int maxHeight, GraphMouseListener graphMouseListener, GraphPanel graphPanel, java.util.Collection<javax.swing.JComponent> components)