preferences: fix merge of array values

Merged arrays should contain only unique values.
eclipsesource · Feb 9, 2023 · eb8d246 · eb8d246
1 parent 120d1a3
commit eb8d246
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/packages/core/src/browser/preferences/preference-provider.ts b/packages/core/src/browser/preferences/preference-provider.ts
@@ -236,7 +236,8 @@ export abstract class PreferenceProvider implements Disposable {
                     this.merge(source[key], value);
                     continue;
                 } else if (JSONExt.isArray(source[key]) && JSONExt.isArray(value)) {
-                    source[key] = [...JSONExt.deepCopy(source[key] as any), ...JSONExt.deepCopy(value)];
+                    const uniqueValues = new Set([...value, ...(source[key] as any)].map(v => JSON.stringify(v)));
+                    source[key] = Array.from(uniqueValues).map(v => JSON.parse(v));
                     continue;
                 }
             }