The options used to initialize a terminal manager.
The server settings used by the manager.
When the manager stops polling the API. Defaults to when-hidden.
when-hidden
Generated using TypeDoc
The options used to initialize a terminal manager.