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

    A PreferenceContribution allows adding additional custom preferences. For this, the PreferenceContribution has to provide a valid PrefernceSchema specifying which preferences are available including their types and description.

    const MyPreferencesSchema: PreferenceSchema = {
    'scope': PreferenceScope.Folder,
    'properties': {
    'myext.decorations.enabled': {
    'type': 'boolean',
    'description': 'Show file status',
    'default': true
    },
    // [...]
    }
    }
    @injectable()
    export class MyPreferenceContribution implements PreferenceContribution{
    schema= MyPreferencesSchema;
    }
    interface PreferenceContribution {
        schema?: PreferenceSchema;
        initSchema?(service: PreferenceSchemaService): Promise<void>;
    }

    Implemented by

    Index

    Properties

    Methods

    Properties

    Methods