If the linter has detected a problem on the file I am working on, setting the toggle to off does not force the linter to “purge” the list of problems. Instead, I have to close the file and open it again
To Reproduce
Steps to reproduce the behavior:
Open a file with known linting problems
Make sure the linter detects them and they appear in the PROBLEMS tab
Use the toggle to disable the linter
The problems are not purged.
Expected behavior
When the linter is disabled, the list of detected issues should be purged.
Describe the bug
If the linter has detected a problem on the file I am working on, setting the toggle to off does not force the linter to “purge” the list of problems. Instead, I have to close the file and open it again
To Reproduce Steps to reproduce the behavior:
PROBLEMS
tabExpected behavior When the linter is disabled, the list of detected issues should be purged.
Additional context See #768