diff options
author | Edwin Cheng <[email protected]> | 2021-01-28 15:33:48 +0000 |
---|---|---|
committer | Edwin Cheng <[email protected]> | 2021-01-28 17:04:14 +0000 |
commit | 35310f1032ee1d84853fa166c0003ba9cd38d910 (patch) | |
tree | d59f936eae50ecc039388bbde623acb82e062815 | |
parent | 9358eecc042d8b551f58d2d5ddb9c88d258880c1 (diff) |
Update vscode for new status
-rw-r--r-- | editors/code/src/ctx.ts | 6 | ||||
-rw-r--r-- | editors/code/src/lsp_ext.ts | 2 |
2 files changed, 7 insertions, 1 deletions
diff --git a/editors/code/src/ctx.ts b/editors/code/src/ctx.ts index e7585184b..c07583cfa 100644 --- a/editors/code/src/ctx.ts +++ b/editors/code/src/ctx.ts | |||
@@ -74,6 +74,12 @@ export class Ctx { | |||
74 | this.statusBar.command = undefined; | 74 | this.statusBar.command = undefined; |
75 | this.statusBar.color = undefined; | 75 | this.statusBar.color = undefined; |
76 | break; | 76 | break; |
77 | case "readyPartial": | ||
78 | this.statusBar.text = "rust-analyzer"; | ||
79 | this.statusBar.tooltip = "Ready (Partial)"; | ||
80 | this.statusBar.command = undefined; | ||
81 | this.statusBar.color = undefined; | ||
82 | break; | ||
77 | case "ready": | 83 | case "ready": |
78 | this.statusBar.text = "rust-analyzer"; | 84 | this.statusBar.text = "rust-analyzer"; |
79 | this.statusBar.tooltip = "Ready"; | 85 | this.statusBar.tooltip = "Ready"; |
diff --git a/editors/code/src/lsp_ext.ts b/editors/code/src/lsp_ext.ts index d21a3db86..2de1e427d 100644 --- a/editors/code/src/lsp_ext.ts +++ b/editors/code/src/lsp_ext.ts | |||
@@ -10,7 +10,7 @@ export interface AnalyzerStatusParams { | |||
10 | export const analyzerStatus = new lc.RequestType<AnalyzerStatusParams, string, void>("rust-analyzer/analyzerStatus"); | 10 | export const analyzerStatus = new lc.RequestType<AnalyzerStatusParams, string, void>("rust-analyzer/analyzerStatus"); |
11 | export const memoryUsage = new lc.RequestType0<string, void>("rust-analyzer/memoryUsage"); | 11 | export const memoryUsage = new lc.RequestType0<string, void>("rust-analyzer/memoryUsage"); |
12 | 12 | ||
13 | export type Status = "loading" | "ready" | "invalid" | "needsReload"; | 13 | export type Status = "loading" | "ready" | "readyPartial" | "invalid" | "needsReload"; |
14 | export interface StatusParams { | 14 | export interface StatusParams { |
15 | status: Status; | 15 | status: Status; |
16 | } | 16 | } |