|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
public static interface Explorer.ExplorerPanel
A common interface for panels to be displayed in the Explorer
| Method Summary | |
|---|---|
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. |
| Method Detail |
|---|
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()
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||