From 275d247cd016d973c9a611329ee77bac7a1ff0b2 Mon Sep 17 00:00:00 2001 From: Bob Brown Date: Fri, 23 Aug 2024 16:31:54 -0700 Subject: [PATCH] Log the modified extension settings as part of Log Diagnostics --- Extension/src/LanguageServer/client.ts | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/Extension/src/LanguageServer/client.ts b/Extension/src/LanguageServer/client.ts index d6e47cfa4d..a829924c87 100644 --- a/Extension/src/LanguageServer/client.ts +++ b/Extension/src/LanguageServer/client.ts @@ -1948,6 +1948,15 @@ export class DefaultClient implements Client { if (this.configuration.CurrentConfiguration) { configJson = `Current Configuration:\n${JSON.stringify(this.configuration.CurrentConfiguration, null, 4)}\n`; } + const userModifiedSettings = Object.entries(this.settingsTracker.getUserModifiedSettings()); + if (userModifiedSettings.length > 0) { + const settings: Record = {}; + for (const [key, ] of userModifiedSettings) { + const newKey = `C_Cpp.${key}`; + settings[newKey] = vscode.workspace.getConfiguration("C_Cpp").get(key) ?? ''; + } + configJson += `Modified Settings:\n${JSON.stringify(settings, null, 4)}\n`; + } // Get diagnostics for configuration provider info. let configurationLoggingStr: string = "";