public static interface Explorer.ExplorerPanel
Modifier and Type | Method and Description |
---|---|
Explorer |
getExplorer()
returns the parent Explorer frame
|
java.lang.String |
getTabTitle()
Returns the title for the tab in the Explorer
|
java.lang.String |
getTabTitleToolTip()
Returns the tooltip for the tab in the Explorer
|
void |
setExplorer(Explorer parent)
Sets the Explorer to use as parent frame (used for sending notifications
about changes in the data)
|
void |
setInstances(Instances inst)
Tells the panel to use a new set of instances.
|
void setExplorer(Explorer parent)
parent
- the parent frameExplorer getExplorer()
void setInstances(Instances inst)
inst
- a set of Instancesjava.lang.String getTabTitle()
java.lang.String getTabTitleToolTip()