Uses of Class
weka.gui.explorer.ExplorerExt
-
Packages that use ExplorerExt Package Description weka.gui.explorer -
-
Uses of ExplorerExt in weka.gui.explorer
Methods in weka.gui.explorer that return ExplorerExt Modifier and Type Method Description static ExplorerExt
WorkspaceHelper. copy(ExplorerExt expext, boolean skipHistory)
Copies an explorer instance.ExplorerExt
MultiExplorer. getPanel(String name)
Returns the panel with the specified name.Methods in weka.gui.explorer with parameters of type ExplorerExt Modifier and Type Method Description void
MultiExplorer. addPanel(ExplorerExt panel, String name)
Adds the given explorer panel.static ExplorerExt
WorkspaceHelper. copy(ExplorerExt expext, boolean skipHistory)
Copies an explorer instance.protected static void
WorkspaceHelper. serialize(ExplorerExt expext, String name, ObjectOutputStream oos, boolean skipHistory)
Serializes the explorer instance to the output stream.
-