Skip to content

Feature: Create list of allowed problems that users can turn off #12

New issue
New issue
Open
Open
Feature: Create list of allowed problems that users can turn off#12
Labels
extension-clientThe client code for the extensionlanguage-serverFeatures for the language serveruser-experience
@znorman-harris

Description

@znorman-harris
znorman-harris
opened on Sep 8, 2023

Right now it is anything, but we should probably be more specific and disallow disabling some critical syntax errors.

Metadata

Metadata

Assignees

No one assigned

    Labels

    extension-clientThe client code for the extensionlanguage-serverFeatures for the language serveruser-experience

    Type

    No type

    Projects

    IDL for VSCode

    Status

    No status

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions