public interface ViewInteractionPanel extends ScalableComponent.UpdateListener
Modifier and Type | Method and Description |
---|---|
javax.swing.JComponent |
getComponent()
Returns the component that is shown if this panel is activated by the
user.
|
double |
getHeightInView()
Returns the preferred height of this component when shown to the user.
|
java.lang.String |
getPanelName()
Returns the name of the panel.
|
double |
getWidthInView()
Returns the preferred width of this component when shown to the user.
|
void |
setParent(ScalableViewPanel viewPanel)
This method is called by the ProM scalable view as soon as the panel is
added to this view.
|
void |
setScalableComponent(ScalableComponent scalable)
This method is called by the ProM scalable view as soon as the panel is
added to this view.
|
void |
willChangeVisibility(boolean to)
This method is called by the ProMScalableView panel just before the
component of this interaction panel will be shown to the user or hidden
from the user.
|
updated
java.lang.String getPanelName()
javax.swing.JComponent getComponent()
this
in this method.void setScalableComponent(ScalableComponent scalable)
void setParent(ScalableViewPanel viewPanel)
viewPanel
- double getHeightInView()
double getWidthInView()
void willChangeVisibility(boolean to)
to
- TODO