Theia API Documentation v1.76.0
    Preparing search index...
    AI_SET_DEFAULT_CHAT_AGENT: Command = ...

    Sets the default chat agent to the agent id passed as the first argument. Lets the walkthrough offer the recommended agents as one click each, rather than sending the user to the preference row to pick one there.