Terminal UI widget.
Construct a new widget.
The options for initializing the widget.
Terminal kind that indicates whether a terminal is created by a user or by some extension for a user
The last CWD assigned to the terminal, useful when attempting getCwdURI on a task terminal fails
Event that fires when the terminal input data
Event that fires when the terminal is connected or reconnected
Event that fires when the terminal fails to connect or reconnect
Event that fires when the terminal receives a key event.
Event that fires when the terminal size changed
Event which fires when terminal did closed. Event value contains closed terminal widget definition.
Get the current executable and arguments.
Cleat terminal output.
Resolves when the command is successfully sent, this doesn't mean that it was evaluated. Might reject if terminal wasn't properly started yet.
Note that this method will try to escape your arguments as if it was someone inputting everything in a shell.
Return Terminal search box widget.
Whether the terminal process has child processes.
Send text to the terminal server.
Start terminal and return terminal id.