diff options
author | vsrs <[email protected]> | 2020-08-17 12:56:27 +0100 |
---|---|---|
committer | vsrs <[email protected]> | 2020-08-17 12:56:27 +0100 |
commit | 1eed036a6e68aee6128d099e3a8f2c06a90b846b (patch) | |
tree | 0df6d2d6cee256c4dcab1ba1e1a7d3bdafe2d663 /docs/dev | |
parent | b050937c1071e68a4ade69375f1f17b703cafb02 (diff) |
Fix StatusNotification
Diffstat (limited to 'docs/dev')
-rw-r--r-- | docs/dev/lsp-extensions.md | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/docs/dev/lsp-extensions.md b/docs/dev/lsp-extensions.md index 1be01fd88..2e3133449 100644 --- a/docs/dev/lsp-extensions.md +++ b/docs/dev/lsp-extensions.md | |||
@@ -412,7 +412,13 @@ Reloads project information (that is, re-executes `cargo metadata`). | |||
412 | 412 | ||
413 | **Method:** `rust-analyzer/status` | 413 | **Method:** `rust-analyzer/status` |
414 | 414 | ||
415 | **Notification:** `"loading" | "ready" | "invalid" | "needsReload"` | 415 | **Notification:** |
416 | |||
417 | ```typescript | ||
418 | interface StatusParams { | ||
419 | status: "loading" | "ready" | "invalid" | "needsReload", | ||
420 | } | ||
421 | ``` | ||
416 | 422 | ||
417 | This notification is sent from server to client. | 423 | This notification is sent from server to client. |
418 | The client can use it to display persistent status to the user (in modline). | 424 | The client can use it to display persistent status to the user (in modline). |