Interface Explorer.ExplorerPanel

    • Method Detail

      • setExplorer

        void setExplorer​(Explorer parent)
        Sets the Explorer to use as parent frame (used for sending notifications about changes in the data)
        Parameters:
        parent - the parent frame
      • getExplorer

        Explorer getExplorer()
        returns the parent Explorer frame
        Returns:
        the parent
      • setInstances

        void setInstances​(Instances inst)
        Tells the panel to use a new set of instances.
        Parameters:
        inst - a set of Instances
      • getTabTitle

        java.lang.String getTabTitle()
        Returns the title for the tab in the Explorer
        Returns:
        the title of this tab
      • getTabTitleToolTip

        java.lang.String getTabTitleToolTip()
        Returns the tooltip for the tab in the Explorer
        Returns:
        the tooltip of this tab