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