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