View source
class WorkDoneProgressCancelNotification
package languageServerProtocol.protocol
import languageServerProtocol.protocol.Progress
The window/workDoneProgress/cancel
notification is sent from the client to the server to cancel a progress
initiated on the server side.