diff options
Diffstat (limited to 'editors/code/src')
-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 | } |