Whether to blink the cursor. Can only be set at startup.
The font family used to render text.
The font size of the terminal in pixels.
An optional command to run when the session starts.
The line height used to render text.
Whether to enable using Ctrl+V to paste.
This setting has no effect on macOS, where Cmd+V is available.
Whether to enable screen reader support.
The amount of buffer scrollback to be used with the terminal
Whether to shut down the session when closing a terminal or not.
The theme of the terminal.
Generated using TypeDoc
Options for the terminal widget.