Interface ConfigPreferencesPage

One preferences page or preferences branch as config.getPreferencesPages lists it.

interface ConfigPreferencesPage {
    guid: string;
    isBranch?: boolean;
    name: string;
    parentGuid: string;
    sortPriority: number;
}

Properties

guid: string

GUID of the page or branch, rendered as {...}.

isBranch?: boolean

true on a branch; absent on a page.

name: string

Display name.

parentGuid: string

GUID of the page or branch it sits under, rendered as {...}; a standard parent from config.getPreferencesStandardGuids for a top-level page.

sortPriority: number

Sort priority it reports: lower sorts first and 0 sorts by name; 0 as well when it reports none.