Theia API Documentation v1.65.0
    Preparing search index...
    interface PreferenceSchema {
        defaultOverridable?: boolean;
        properties: IndexedAccess<PreferenceDataProperty>;
        scope?: PreferenceScope;
        title?: string;
    }
    Index

    Properties

    defaultOverridable?: boolean

    Whether properties in this schema are overridable by default. Defaults to false.

    The default scope for properties in this schema

    title?: string

    Optional title to be used in UI