You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on Aug 12, 2023. It is now read-only.
I have checked existing issues and there are no existing ones with the same request.
Feature description
Mentioned by @David-Else in #332. We can reuse the query mechanism from the deregister API to enable / disable / toggle source availability.
Help
Yes
Implementation help
Doing this at the source level is simple. I imagine users would want diagnostics to be hidden when a source is disabled (which is as good a reason as any to move to the new diagnostics API) and regenerated when a source is enabled, for which we can maybe reuse this logic.
The text was updated successfully, but these errors were encountered:
f1e69d8 adds a basic version of this. I didn't implement regenerating diagnostics, which would most likely require a synthetic notification, but I'd welcome a PR for it if anyone is interested.
Issues
Feature description
Mentioned by @David-Else in #332. We can reuse the query mechanism from the deregister API to enable / disable / toggle source availability.
Help
Yes
Implementation help
Doing this at the source level is simple. I imagine users would want diagnostics to be hidden when a source is disabled (which is as good a reason as any to move to the new diagnostics API) and regenerated when a source is enabled, for which we can maybe reuse this logic.
The text was updated successfully, but these errors were encountered: