Is your feature request related to a problem? Please describe.
When switching the severity filter in the diagnostics list, it would be really useful to have some kind of label indicating the current filter, since in some cases the list might be empty and it's impossible (?) to tell which filter is currently being applied.
Describe the solution you'd like
A label somewhere in the diagnostics panel, or even a way to get this information so that one can apply it in the status line or somewhere else.
Describe alternatives you've considered
Accept the sad truth that this might be a lower priority issue :(
Did you check the docs?
Is your feature request related to a problem? Please describe.
When switching the severity filter in the diagnostics list, it would be really useful to have some kind of label indicating the current filter, since in some cases the list might be empty and it's impossible (?) to tell which filter is currently being applied.
Describe the solution you'd like
A label somewhere in the diagnostics panel, or even a way to get this information so that one can apply it in the status line or somewhere else.
Describe alternatives you've considered
Accept the sad truth that this might be a lower priority issue :(
Additional context
No response