The options for initializing the widget.
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
Terminal kind that indicates whether a terminal is created by a user or by some extension for a user
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.
Supported shells: bash
, cmd.exe
, wsl.exe
, pwsh/powershell.exe
Get the cursor style compatible with xterm
.
CursorStyle
Return Terminal search box widget.
Returns given renderer type if it is valid and supported or default renderer otherwise.
desired terminal renderer type
Whether the terminal process has child processes.
Send text to the terminal server.
Create a new shell terminal in the back-end and attach it to a new terminal widget. If id is provided attach to the terminal for this id.
Construct a new widget.