Theia API Documentation v1.76.0
    Preparing search index...
    ExternalChatPromptResult:
        | { sent: { requestId: string; sessionId: string } }
        | { failure: "busy" | "noAgent" }

    Result of sending a prompt: the created request, or the reason the prompt was rejected.

    busy means a request was in progress and interrupt was not set; noAgent means no agent was available to handle the prompt (none mentioned, none pinned, no default configured).