public static interface Explorer.ExplorerPanel
Modifier and Type | Method and Description |
---|---|
Explorer |
getExplorer()
returns the parent Explorer frame
|
String |
getTabTitle()
Returns the title for the tab in the Explorer
|
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 InstancesString getTabTitle()
String getTabTitleToolTip()
Copyright © 2020 University of Waikato, Hamilton, NZ. All rights reserved.