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;
    }

    Implements

    Index

    Constructors

    Methods

    Constructors

    Methods