Theia API Documentation v1.75.0
    Preparing search index...

    Type Alias JsonType

    JsonType:
        | "string"
        | "array"
        | "number"
        | "integer"
        | "object"
        | "boolean"
        | "null"

    Settings

    Member Visibility