Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
types: fix WorkDoneProgressOptions.workDoneProgress type
It seems there was a confusing with WorkDoneProgressParams and WorkDoneProgressOptions. [WorkDoneProgressParams](https://microsoft.github.io/language-server-protocol/specifications/lsp/3.17/specification/#workDoneProgressParams) is the type used for the token in methods and notifications, it is the token itself, so it has type str | int. This type is correct, this was to explain context. [WorkDoneProgressOptions](https://microsoft.github.io/language-server-protocol/specifications/lsp/3.17/specification/#workDoneProgressOptions) is the type used for registration, it is used to indicate if work done progress are supported, so it is a boolean. This type was wrong. It seems as of today vscode does include workDoneProgress in requests: - microsoft/vscode-languageserver-node#528 (comment) - microsoft/vscode#105870
- Loading branch information