Log the values of editor settings that we track (#12635)

This commit is contained in:
Bob Brown 2024-08-27 17:04:01 -07:00 коммит произвёл GitHub
Родитель 3dc7067c30
Коммит 994e7b9201
Не найден ключ, соответствующий данной подписи
Идентификатор ключа GPG: B5690EEEBB952194
1 изменённых файлов: 17 добавлений и 0 удалений

Просмотреть файл

@ -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<string, any> = {};
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:");