diff options
| author | Jake Heinz <jh@discordapp.com> | 2022-06-01 06:58:16 +0000 |
|---|---|---|
| committer | Jake Heinz <jh@discordapp.com> | 2022-06-01 06:58:16 +0000 |
| commit | a965161dce87744dbd327aee7fa02da387c084ed (patch) | |
| tree | 7e800a20eb5b6652e6032137ce217f719d0e4ffd /editors/code | |
| parent | e25cbf85849a48e02701736375c784b3e3e0e3fc (diff) | |
| download | rust-a965161dce87744dbd327aee7fa02da387c084ed.tar.gz rust-a965161dce87744dbd327aee7fa02da387c084ed.zip | |
[editors/vscode] cleaer status bar bg color / command when server status returns to OK
Diffstat (limited to 'editors/code')
| -rw-r--r-- | editors/code/src/ctx.ts | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/editors/code/src/ctx.ts b/editors/code/src/ctx.ts index b03424dbb30..51781b4205c 100644 --- a/editors/code/src/ctx.ts +++ b/editors/code/src/ctx.ts @@ -81,7 +81,9 @@ export class Ctx { let icon = ""; switch (status.health) { case "ok": + this.statusBar.command = undefined; this.statusBar.color = undefined; + this.statusBar.backgroundColor = undefined; break; case "warning": this.statusBar.tooltip += "\nClick to reload."; |