diff options
Diffstat (limited to 'editors')
-rw-r--r-- | editors/code/src/main.ts | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/editors/code/src/main.ts b/editors/code/src/main.ts index 980ed925b..63d145db0 100644 --- a/editors/code/src/main.ts +++ b/editors/code/src/main.ts | |||
@@ -91,6 +91,12 @@ export async function activate(context: vscode.ExtensionContext) { | |||
91 | activateHighlighting(ctx); | 91 | activateHighlighting(ctx); |
92 | } | 92 | } |
93 | activateInlayHints(ctx); | 93 | activateInlayHints(ctx); |
94 | |||
95 | vscode.workspace.onDidChangeConfiguration( | ||
96 | _ => ctx?.client?.sendNotification('workspace/didChangeConfiguration', { settings: "" }), | ||
97 | null, | ||
98 | ctx?.subscriptions, | ||
99 | ); | ||
94 | } | 100 | } |
95 | 101 | ||
96 | export async function deactivate() { | 102 | export async function deactivate() { |