Construct a new console history object.
The current editor used by the history manager.
The current editor used by the history widget.
Get whether the console history manager is disposed.
The placeholder text that a history session began with.
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.
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.
ProtectedonHandle an edge requested signal.
ProtectedonPopulate the history collection on history reply from a kernel.
ProtectedonProtectedset
A console history manager object.