Interface ProblemConfiguration

interface ProblemConfiguration {
    problems.autoReveal: boolean;
    problems.decorations.enabled: boolean;
    problems.decorations.tabbar.enabled: boolean;
}

Properties

problems.autoReveal problems.decorations.enabled problems.decorations.tabbar.enabled

Properties

problems.autoReveal

problems.autoReveal: boolean

problems.decorations.enabled

problems.decorations.enabled: boolean

problems.decorations.tabbar.enabled

problems.decorations.tabbar.enabled: boolean

Settings

Member Visibility

Theme

On This Page

problems.autoRevealproblems.decorations.enabledproblems.decorations.tabbar.enabled