Class HistoryDisplay.HistorySplitPanel

    • Constructor Detail

      • HistorySplitPanel

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

      • getOwner

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

        public TextEditorPanel getTextPanel()
        Returns the underlying text panel.
        Returns:
        the text editor
      • clear

        public void clear()
        Removes all entries.
      • count

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

        public BufferHistoryPanel getHistory()
        Returns the underlying history panel.
        Returns:
        the panel
      • addResult

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

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

        public void appendResult​(String result)
        Appends the given text to the last index. Creates a new entry if none yet available.
        Parameters:
        result - the text to append
      • appendResult

        public void appendResult​(String result,
                                 int index)
        Appends the given text to the specified index. Creates a new entry if none yet available.
        Parameters:
        result - the text to append
        index - the 0-based index of the history element to append to, -1 for last
      • appendResult

        public void appendResult​(StringBuilder result)
        Appends the given text to the last index. Creates a new entry if none yet available.
        Parameters:
        result - the text to append
      • appendResult

        public void appendResult​(StringBuilder result,
                                 int index)
        Appends the given text to the last index. Creates a new entry if none yet available.
        Parameters:
        result - the text to append
        index - the 0-based index of the history element to append to, -1 for last
      • 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