Merge general settings from different configuration sources (#7528)

This commit is contained in:
Billy Biggs
2025-08-31 17:44:16 -07:00
committed by GitHub
parent ef2437ba77
commit f331e5d5b6
2 changed files with 15 additions and 0 deletions
+6
View File
@@ -303,6 +303,12 @@ function mergeSettings(
...user,
...safeWorkspaceWithoutFolderTrust,
...system,
general: {
...(systemDefaults.general || {}),
...(user.general || {}),
...(safeWorkspaceWithoutFolderTrust.general || {}),
...(system.general || {}),
},
ui: {
...(systemDefaults.ui || {}),
...(user.ui || {}),