Theia API Documentation v1.69.0
    Preparing search index...
    CLAUDE_SESSION_APPROVED_TOOLS_KEY: "claudeSessionApprovedTools" = 'claudeSessionApprovedTools'