diff options
author | Aleksey Kladov <[email protected]> | 2020-02-27 09:46:43 +0000 |
---|---|---|
committer | Aleksey Kladov <[email protected]> | 2020-02-27 09:46:43 +0000 |
commit | cfa5afa02d415c32e43498dcd0e8b8fa756b9093 (patch) | |
tree | ea72f67380a86bf68778594fa64362bfac7c573e /editors/code | |
parent | 356395139c5bf692401c32d7512c1d74563413a7 (diff) |
Fix lint
Diffstat (limited to 'editors/code')
-rw-r--r-- | editors/code/src/client.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/editors/code/src/client.ts b/editors/code/src/client.ts index 1f90af898..540f7c9ea 100644 --- a/editors/code/src/client.ts +++ b/editors/code/src/client.ts | |||
@@ -45,7 +45,7 @@ export async function createClient(config: Config, serverPath: string): Promise< | |||
45 | middleware: { | 45 | middleware: { |
46 | // Workaround for https://github.com/microsoft/vscode-languageserver-node/issues/576 | 46 | // Workaround for https://github.com/microsoft/vscode-languageserver-node/issues/576 |
47 | async provideDocumentSemanticTokens(document: vscode.TextDocument, token: vscode.CancellationToken, next: DocumentSemanticsTokensSignature) { | 47 | async provideDocumentSemanticTokens(document: vscode.TextDocument, token: vscode.CancellationToken, next: DocumentSemanticsTokensSignature) { |
48 | let res = await next(document, token); | 48 | const res = await next(document, token); |
49 | if (res === undefined) throw new Error('busy'); | 49 | if (res === undefined) throw new Error('busy'); |
50 | return res; | 50 | return res; |
51 | } | 51 | } |