bors[bot] 5bdc249b2c Merge #3587 ... 3587: Use WorkDoneProgress LSP API for initial load r=matklad a=slyngbaek 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) Co-authored-by: Steffen Lyngbaek <steffenlyngbaek@gmail.com>		2020-03-16 11:48:46 +00:00
..
heavy_tests	Merge #3587	2020-03-16 11:48:46 +00:00