The options used to initialize a terminal manager.
Optional
The server settings for the manager.
When the manager stops polling the API. Defaults to when-hidden.
when-hidden
The options used to initialize a terminal manager.