Theia API Documentation v1.71.0
    Preparing search index...
    DEFAULT_COPILOT_OAUTH_CONFIG: CopilotOAuthConfig = ...

    Default OAuth configuration for the built-in Theia Copilot integration.