Class DisplayPanelManager.HistorySplitPanel

    • Constructor Detail

      • HistorySplitPanel

        public HistorySplitPanel​(DisplayPanelManager owner)
        Initializes the split pane.
        Parameters:
        owner - the owning TextDisplay
    • Method Detail

      • getOwner

        public DisplayPanelManager getOwner()
        Returns the owner of this history panel.
        Returns:
        the owning TextDisplay component
      • getSplitPane

        public BaseSplitPane getSplitPane()
        Returns the underlying split pane.
        Returns:
        the split pane
      • clear

        public void clear()
        Removes all entries.
      • count

        public int count()
        Returns the number of results.
        Returns:
        the number of results
      • newID

        public String newID()
        Generates a new history ID.
        Returns:
        the ID
      • hasResult

        public boolean hasResult​(String id)
        Checks whether the ID is already used in the history panel.
        Parameters:
        id - the ID to check
        Returns:
        true if already present
      • getResult

        public DisplayPanel getResult​(String id)
        Returns the entry associated with the ID.
        Parameters:
        id - the ID of the result to retrieve
        Returns:
        the panel, null if not found
      • setSelectedResult

        public void setSelectedResult​(String id)
        Selects the panel with the given ID.
        Parameters:
        id - the ID of the panel to select
      • addResult

        public void addResult​(DisplayPanel result)
        Adds the given text.
        Parameters:
        result - the text to add
      • setAllowSearch

        public void setAllowSearch​(boolean value)
        Sets whether the entry list is searchable.
        Parameters:
        value - true if to make the list searchable
      • getAllowSearch

        public boolean getAllowSearch()
        Returns whether the entry list is searchable.
        Returns:
        true if list is searchable
      • wrapUp

        public void wrapUp()
        Calls the wrapUp method of the display panels.