Open karthiknadig opened 1 year ago
Thanks! The DocumentDiagnosticReportKind.Unchanged
feature is nice as it kinda acts like a cache and the editor doesn't need to re-render the diagnostics. Does this mean that refreshing the diagnostic is client's responsibility as this is a pull model?
Yes, client decides when diagnostics is pulled for a file or workspace.
Just wanted to add some bit of info for this:
textDocument/diagnostic
on each open document.textDocument/diagnostic
for a document, your response can include diagnostic for multiple documents that the said document depends on.workspace/diagnostic
, the result of this request is expected to include all document diagnostics.onType
diagnostic might have to be redefined, as the client will decide how often this is called.This is useful information. Thanks for sharing!
With this you can enable support for whole workspace and related document diagnostics.