From 994e7b92015a48996ef39b14177235739c5e1e57 Mon Sep 17 00:00:00 2001 From: Bob Brown Date: Tue, 27 Aug 2024 17:04:01 -0700 Subject: [PATCH] Log the values of editor settings that we track (#12635) --- Extension/src/LanguageServer/client.ts | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) diff --git a/Extension/src/LanguageServer/client.ts b/Extension/src/LanguageServer/client.ts index 0f3b7d7a9d..bf4bdeaa83 100644 --- a/Extension/src/LanguageServer/client.ts +++ b/Extension/src/LanguageServer/client.ts @@ -1960,6 +1960,23 @@ export class DefaultClient implements Client { configJson += `Modified Settings:\n${JSON.stringify(settings, null, 4)}\n`; } + { + const editorSettings = new OtherSettings(this.RootUri); + const settings: Record = {}; + settings.editorTabSize = editorSettings.editorTabSize; + settings.editorInsertSpaces = editorSettings.editorInsertSpaces; + settings.editorAutoClosingBrackets = editorSettings.editorAutoClosingBrackets; + settings.filesEncoding = editorSettings.filesEncoding; + settings.filesAssociations = editorSettings.filesAssociations; + settings.filesExclude = editorSettings.filesExclude; + settings.filesAutoSaveAfterDelay = editorSettings.filesAutoSaveAfterDelay; + settings.editorInlayHintsEnabled = editorSettings.editorInlayHintsEnabled; + settings.editorParameterHintsEnabled = editorSettings.editorParameterHintsEnabled; + settings.searchExclude = editorSettings.searchExclude; + settings.workbenchSettingsEditor = editorSettings.workbenchSettingsEditor; + configJson += `Additional Tracked Settings:\n${JSON.stringify(settings, null, 4)}\n`; + } + // Get diagnostics for configuration provider info. let configurationLoggingStr: string = ""; const tuSearchStart: number = response.diagnostics.indexOf("Translation Unit Mappings:");