From db82927d2755e9a59e62fe7f798546db76ef034d Mon Sep 17 00:00:00 2001 From: Sean McManus Date: Mon, 10 Feb 2025 11:26:17 -0800 Subject: [PATCH] Fix Copilot hover reprompting. (#13266) --- Extension/src/LanguageServer/client.ts | 3 +++ 1 file changed, 3 insertions(+) diff --git a/Extension/src/LanguageServer/client.ts b/Extension/src/LanguageServer/client.ts index 123e4d519..5f43018b3 100644 --- a/Extension/src/LanguageServer/client.ts +++ b/Extension/src/LanguageServer/client.ts @@ -1340,6 +1340,9 @@ export class DefaultClient implements Client { this.copilotHoverProvider = new CopilotHoverProvider(this); this.disposables.push(vscode.languages.registerHoverProvider(util.documentSelector, this.copilotHoverProvider)); } + if (settings.copilotHover !== this.currentCopilotHoverEnabled.Value) { + this.currentCopilotHoverEnabled.Value = settings.copilotHover; + } this.disposables.push(vscode.languages.registerHoverProvider(util.documentSelector, this.hoverProvider)); this.disposables.push(vscode.languages.registerInlayHintsProvider(util.documentSelector, this.inlayHintsProvider)); this.disposables.push(vscode.languages.registerRenameProvider(util.documentSelector, new RenameProvider(this)));