Sometimes users want to add a single problem to the lint-ignore file but have troubles with doing that manually.
It'd be useful to be able to do that from our extension.
How should we improve it?
A button (or something similar) alongside the highlighting, which would add the particular problem to the lint-ignore file (see the screenshots).
What should we improve?
Sometimes users want to add a single problem to the lint-ignore file but have troubles with doing that manually. It'd be useful to be able to do that from our extension.
How should we improve it?
A button (or something similar) alongside the highlighting, which would add the particular problem to the lint-ignore file (see the screenshots).