The instantiation options for a workspace manager.
Optional
The server settings used to make API requests.
Generated using TypeDoc
The instantiation options for a workspace manager.