diff options
Diffstat (limited to 'editors/code/src/main.ts')
-rw-r--r-- | editors/code/src/main.ts | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/editors/code/src/main.ts b/editors/code/src/main.ts index 1a4af548d..b735186fe 100644 --- a/editors/code/src/main.ts +++ b/editors/code/src/main.ts | |||
@@ -47,9 +47,9 @@ async function tryActivate(context: vscode.ExtensionContext) { | |||
47 | 47 | ||
48 | const workspaceFolder = vscode.workspace.workspaceFolders?.[0]; | 48 | const workspaceFolder = vscode.workspace.workspaceFolders?.[0]; |
49 | if (workspaceFolder === undefined) { | 49 | if (workspaceFolder === undefined) { |
50 | let rustDocuments = vscode.workspace.textDocuments.filter(document => isRustDocument(document)); | 50 | const rustDocuments = vscode.workspace.textDocuments.filter(document => isRustDocument(document)); |
51 | if (rustDocuments.length > 0) { | 51 | if (rustDocuments.length > 0) { |
52 | ctx = await Ctx.create(config, context, serverPath, { kind: 'Detached files', files: rustDocuments }); | 52 | ctx = await Ctx.create(config, context, serverPath, { kind: 'Detached Files', files: rustDocuments }); |
53 | } else { | 53 | } else { |
54 | throw new Error("no rust files are opened"); | 54 | throw new Error("no rust files are opened"); |
55 | } | 55 | } |