org.scaladebugger.tool.frontend.history
Destroys the internal and persistent history.
Destroys the internal and persistent history.
Returns the collection of lines stored in history.
Returns the collection of lines stored in history.
The collection of lines
Returns the collection of lines stored in history in order of most to least recently added.
Returns the collection of lines stored in history in order of most to least recently added.
The collection of lines
Returns the maximum number of lines that will be kept in history.
Returns the maximum number of lines that will be kept in history.
The maximum number of lines, or -1 if there is no limit
Returns the current number of lines of history held by the manager.
Returns the current number of lines of history held by the manager.
The total number of lines
Adds a new line to the current history and updates the persistent history.
Adds a new line to the current history and updates the persistent history.
The line to add
Adds multiple lines to the current history and updates the persistent history.
Adds multiple lines to the current history and updates the persistent history.
The lines to add
Represents a history manager that performs no-ops for all operations. Essentially, this manager represents the /dev/null of history managers.