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 was archived by the owner on Oct 7, 2020. It is now read-only.
This means that nothing has to change when we add a new plugin that does diagnostics, and we can filter out the disabled ones in requestDiagnostics already.
This can potentially apply for code actions, hover, and symbols. And be extended as new items arise.
The text was updated successfully, but these errors were encountered:
At the moment the Config type is
As we add more diagnostic providers, we can add a specific config for each.
Or, we can make the config something like
This means that nothing has to change when we add a new plugin that does diagnostics, and we can filter out the disabled ones in
requestDiagnostics
already.This can potentially apply for code actions, hover, and symbols. And be extended as new items arise.
The text was updated successfully, but these errors were encountered: