-
Notifications
You must be signed in to change notification settings - Fork 194
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.
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
feature: toggles/flags rework #770
Labels
enhancement
New feature or request
Comments
This was referenced Jan 28, 2025
An option for toggling between diagnostics based on severity would be nice. I noticed there is such toggle in trouble already. |
folke
added a commit
that referenced
this issue
Jan 30, 2025
folke
added a commit
that referenced
this issue
Jan 30, 2025
folke
added a commit
that referenced
this issue
Jan 30, 2025
folke
added a commit
that referenced
this issue
Jan 30, 2025
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Did you check the docs?
Is your feature request related to a problem? Please describe.
Currently we have toggles for
ignored
,hidden
andfollow
.flag
Describe the solution you'd like
toggles/flags should be more generic and be able to be configured per source.
Like for grep
opts.toggle = {...}
.Describe alternatives you've considered
...
Additional context
No response
The text was updated successfully, but these errors were encountered: