diff options
-rw-r--r-- | editors/code/src/main.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/editors/code/src/main.ts b/editors/code/src/main.ts index ee67c750c..4f46345d6 100644 --- a/editors/code/src/main.ts +++ b/editors/code/src/main.ts | |||
@@ -35,7 +35,7 @@ export async function activate(context: vscode.ExtensionContext) { | |||
35 | 35 | ||
36 | const config = new Config(context); | 36 | const config = new Config(context); |
37 | 37 | ||
38 | vscode.workspace.onDidChangeConfiguration(() => ensureProperExtensionVersion(config)); | 38 | vscode.workspace.onDidChangeConfiguration(() => ensureProperExtensionVersion(config).catch(log.error)); |
39 | 39 | ||
40 | // Don't await the user response here, otherwise we will block the lsp server bootstrap | 40 | // Don't await the user response here, otherwise we will block the lsp server bootstrap |
41 | void ensureProperExtensionVersion(config); | 41 | void ensureProperExtensionVersion(config); |