View source
typedef DiagnosticWorkspaceClientCapabilities
package languageServerProtocol.protocol
import languageServerProtocol.protocol.Diagnostics
Workspace client capabilities specific to diagnostic pull requests.
Available since
3.17.0
.Fields
optionalrefreshSupport:Null<Bool>
Whether the client implementation supports a refresh request sent from the server to the client.
Note that this event is global and will force the client to refresh all pulled diagnostics currently shown. It should be used with absolute care and is useful for situation where a server for example detects a project wide change that requires such a calculation.