diff options
author | Kirill Bulatov <[email protected]> | 2021-05-23 21:47:58 +0100 |
---|---|---|
committer | Kirill Bulatov <[email protected]> | 2021-05-23 21:47:58 +0100 |
commit | c1f6a5a0b0df92b6fb61aab92fe612d179fbab5d (patch) | |
tree | 91d9e5b3b13fa9db767b66f5f17671eb1ef25dd4 /editors/code/src/main.ts | |
parent | 72594beca46ac4a05b0c54f26a285f5197192b8b (diff) |
Fix ts lint errors
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 | } |