Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Improvements to message displayed when linter is not installed #3659

Closed
DonJayamanne opened this issue Dec 12, 2018 · 0 comments
Closed

Improvements to message displayed when linter is not installed #3659

DonJayamanne opened this issue Dec 12, 2018 · 0 comments
Assignees
@karrtikr
Labels
area-linting feature-request Request for new features or functionality important Issue identified as high-priority
Milestone
2018, week 50 - D...

Comments

@DonJayamanne
Copy link

DonJayamanne commented Dec 12, 2018 •
edited
Loading

  • 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
@DonJayamanne DonJayamanne added feature-request Request for new features or functionality area-linting needs PR important Issue identified as high-priority labels Dec 12, 2018
This was referenced Dec 24, 2018
Closed
Merged
@ghost ghost removed the needs PR label Jan 2, 2019
@lock lock bot locked as resolved and limited conversation to collaborators Jan 30, 2019
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@karrtikr karrtikr

Labels
area-linting feature-request Request for new features or functionality important Issue identified as high-priority
Projects
None yet
Milestone
2018, week 50 - Dec sprint 2
Development

No branches or pull requests
2 participants
@DonJayamanne @karrtikr