Skip to content

Add "Disable Linting" command #8800

@luabud

Description

@luabud

For users who want to disable linting through the command palette, right now they need to:

  • Run "Enable Linting" command and select "off"
    or
  • Run "Select Linter" and select "Disable Linting"

This is not intuitive, so it'd be great if we could add a "Disable Linting" command and change the "Enable Linting" to just enable linting.

Metadata

Metadata

Assignees

No one assigned

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions