org.processmining.processtree.editor.editorpanel

Class EditorPanel

java.lang.Object

org.processmining.processtree.editor.editorpanel.EditorPanel

public class EditorPanel
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
EditorPanel(org.processmining.contexts.uitopia.UIPluginContext context, ProcessTree tree, GraphPanel graphPanel, GraphMouseListener graphMouseListener, java.awt.Dimension dimEditorPanel, java.lang.Boolean beginner)

Method Summary

Modifier and Type	Method and Description
void	defrostPanel()
void	freezePanel()
javax.swing.JComponent	getEditorPanel()
int	getWidth()
void	mousePressed()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

EditorPanel

public EditorPanel(org.processmining.contexts.uitopia.UIPluginContext context,
                   ProcessTree tree,
                   GraphPanel graphPanel,
                   GraphMouseListener graphMouseListener,
                   java.awt.Dimension dimEditorPanel,
                   java.lang.Boolean beginner)

Method Detail

getEditorPanel

public javax.swing.JComponent getEditorPanel()

getWidth

public int getWidth()

mousePressed

public void mousePressed()

freezePanel

public void freezePanel()

defrostPanel

public void defrostPanel()