View source
typedef WorkDoneProgressParams
package languageServerProtocol.protocol
import languageServerProtocol.protocol.Protocol
Fields
optionalworkDoneToken:Null<ProgressToken>
An optional token that a server can use to report work done progress.