The current editor used by the history widget.
Test whether the object has been disposed.
This property is always safe to access.
The placeholder text that a history session began with.
The client session used by the foreign handler.
Get the previous item in the console history.
The placeholder string that gets temporarily added to the history only for the duration of one history session. If multiple placeholders are sent within a session, only the first one is accepted.
A Promise for console command text or undefined
if unavailable.
Dispose of the resources held by the object.
If the object's dispose
method is called more than once, all
calls made after the first will be a no-op.
It is undefined behavior to use any functionality of the object after it has been disposed unless otherwise explicitly noted.
Get the next item in the console history.
The placeholder string that gets temporarily added to the history only for the duration of one history session. If multiple placeholders are sent within a session, only the first one is accepted.
A Promise for console command text or undefined
if unavailable.
Add a new item to the bottom of history.
The item being added to the bottom of history.
If the item being added is undefined or empty, it is ignored. If the item being added is the same as the last item in history, it is ignored as well so that the console's history will consist of no contiguous repetitions.
Reset the history navigation state, i.e., start a new history session.
Generated using TypeDoc
The definition of a console history manager object.