|
|||||||||||
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 |