Skip to content

Commit

Permalink
Log the values of editor settings that we track (#12635)
Browse files Browse the repository at this point in the history
  • Loading branch information
bobbrow authored Aug 28, 2024
1 parent 3dc7067 commit 994e7b9
Showing 1 changed file with 17 additions and 0 deletions.
17 changes: 17 additions & 0 deletions Extension/src/LanguageServer/client.ts
Original file line number Diff line number Diff line change
Expand Up @@ -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:");
Expand Down

0 comments on commit 994e7b9

Please sign in to comment.