GenLSP.Protocol.Structures.DiagnosticClientCapabilities (gen_lsp v0.0.1)
Client capabilities specific to diagnostic pull requests.
@since 3.17.0
properties
Properties
dynamicRegistration :: boolean
Whether implementation supports dynamic registration. If this is set to true
the client supports the new (TextDocumentRegistrationOptions & StaticRegistrationOptions)
return value for the corresponding server capability as well.
relatedDocumentSupport :: boolean
Whether the clients supports related documents for document diagnostic pulls.