GenLSP.Protocol.Structures.WindowClientCapabilities (gen_lsp v0.0.1)
properties
Properties
workDoneProgress :: boolean
It indicates whether the client supports server initiated
progress using the window/workDoneProgress/create
request.
The capability also controls Whether client supports handling
of progress notifications. If set servers are allowed to report a
workDoneProgress
property in the request specific server
capabilities.
@since 3.15.0
showMessage :: ShowMessageRequestClientCapabilities
Capabilities specific to the showMessage request.
@since 3.16.0
showDocument :: ShowDocumentClientCapabilities
Capabilities specific to the showDocument request.
@since 3.16.0