diff options
| author | David Barsky <me@davidbarsky.com> | 2023-09-05 15:45:52 -0400 |
|---|---|---|
| committer | David Barsky <me@davidbarsky.com> | 2023-09-05 15:45:52 -0400 |
| commit | 6260c635ee30083410120c037df7acae342e21b6 (patch) | |
| tree | 6393a7e8f1bd7a84051fe3411cd9cc191991c621 /editors/code/src | |
| parent | 68781aeab002437c3e9360d9ad3037b5b41bd988 (diff) | |
| download | rust-6260c635ee30083410120c037df7acae342e21b6.tar.gz rust-6260c635ee30083410120c037df7acae342e21b6.zip | |
fmt
Diffstat (limited to 'editors/code/src')
| -rw-r--r-- | editors/code/src/ctx.ts | 19 |
1 files changed, 10 insertions, 9 deletions
diff --git a/editors/code/src/ctx.ts b/editors/code/src/ctx.ts index 40ca2097d5a..904efa4d5eb 100644 --- a/editors/code/src/ctx.ts +++ b/editors/code/src/ctx.ts @@ -30,12 +30,12 @@ import { bootstrap } from "./bootstrap"; export type Workspace = | { kind: "Empty" } | { - kind: "Workspace Folder"; - } + kind: "Workspace Folder"; + } | { - kind: "Detached Files"; - files: vscode.TextDocument[]; - }; + kind: "Detached Files"; + files: vscode.TextDocument[]; + }; export function fetchWorkspace(): Workspace { const folders = (vscode.workspace.workspaceFolders || []).filter( @@ -49,9 +49,9 @@ export function fetchWorkspace(): Workspace { ? rustDocuments.length === 0 ? { kind: "Empty" } : { - kind: "Detached Files", - files: rustDocuments, - } + kind: "Detached Files", + files: rustDocuments, + } : { kind: "Workspace Folder" }; } @@ -441,7 +441,8 @@ export class Ctx { } statusBar.tooltip.appendMarkdown("\n\n[Open Logs](command:rust-analyzer.openLogs)"); statusBar.tooltip.appendMarkdown( - `\n\n[${this.config.checkOnSave ? "Disable" : "Enable" + `\n\n[${ + this.config.checkOnSave ? "Disable" : "Enable" } Check on Save](command:rust-analyzer.toggleCheckOnSave)`, ); statusBar.tooltip.appendMarkdown( |
