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

    Return type of the PreferenceService.inspect call.

    interface PreferenceInspection<T = JSONValue> {
        defaultValue: undefined | T;
        globalValue: undefined | T;
        preferenceName: string;
        value: undefined | T;
        workspaceFolderValue: undefined | T;
        workspaceValue: undefined | T;
    }

    Type Parameters

    • T = JSONValue
    Index

    Properties

    defaultValue: undefined | T

    Value in default scope.

    globalValue: undefined | T

    Value in user scope.

    preferenceName: string

    The preference identifier.

    value: undefined | T

    The value that is active, i.e. the value set in the lowest scope available.

    workspaceFolderValue: undefined | T

    Value in folder scope.

    workspaceValue: undefined | T

    Value in workspace scope.