Theia API Documentation v1.65.0
    Preparing search index...
    DeveloperMessageSettings:
        | "user"
        | "system"
        | "developer"
        | "mergeWithFollowingUserMessage"
        | "skip"