Skip to content

Improvements to message displayed when linter is not installed #3659

@DonJayamanne

Description

@DonJayamanne
  • Remove Disable pylint button
  • Remove Disable linting button
  • Add Select Linter button and invoke the Select Linter command.
  • Add Disable Linting to the list of linters in the above list (top of the list)
  • Capture telemetry for the buttons

Metadata

Metadata

Assignees

Labels

area-lintingfeature-requestRequest for new features or functionalityimportantIssue identified as high-priority

Type

No type
No fields configured for issues without a type.

Projects

No projects

Relationships

None yet

Development

No branches or pull requests

Issue actions