Interface HeadingOption

A heading option, which does not define an actual option, but adds a heading in the preferences window.

interface HeadingOption {
    description?: LocalizableString;
    identifier: string;
    label?: LocalizableString;
}

Properties

An optional longer explanantion of this option, to be shown in the UI.

identifier: string

An identifying string for this option.

A short label for this option.