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

    Interface ProblemConfiguration

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

    Properties

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

    Properties

    "problems.autoReveal": boolean
    "problems.decorations.enabled": boolean
    "problems.decorations.tabbar.enabled": boolean

    Settings

    Member Visibility

    On This Page

    Properties