diff options
| author | Steffen Lyngbaek <[email protected]> | 2020-03-13 23:03:02 +0000 |
|---|---|---|
| committer | Steffen Lyngbaek <[email protected]> | 2020-03-13 23:03:02 +0000 |
| commit | 083035fd06d27487a976953ede615c4fa1755988 (patch) | |
| tree | 66d61858974ccfd0c9cfc0195c066f0ea526264a /.github/actions/github-release | |
| parent | 2f9f409538553fc709bbcad1a5c76968f36e5968 (diff) | |
Use WorkDoneProgress LSP API for initial load
Addresses #3283
Rather than using custom UI for showing the loaded state. Rely
on the WorkDoneProgress API in 3.15.0
https://microsoft.github.io/language-server-protocol/specification#workDoneProgress.
No client-side work was necessary. The UI is not exactly what is
described in the issue but afaict that's how VS Code implements the LSP
API.
- The WorkDoneProgressEnd does not appear to display its message
contents (controlled by vscode)
Diffstat (limited to '.github/actions/github-release')
0 files changed, 0 insertions, 0 deletions