Theia API Documentation v1.65.0
    Preparing search index...
    interface MonacoThemeJson {
        description?: string;
        id?: string;
        includes?: { [includePath: string]: any };
        json: any;
        label: string;
        uiTheme?: BuiltinTheme;
    }
    Index

    Properties

    description?: string
    id?: string

    theme id (optional), label is used if not provided

    includes?: { [includePath: string]: any }

    Themes can include each other. It specifies how inclusions should be resolved.

    json: any
    label: string
    uiTheme?: BuiltinTheme

    theme type, vs-dark if not provided