From 22ca160cbd4eea4afb0d595aff1cbb072cf3627f Mon Sep 17 00:00:00 2001 From: Raymond Zhao <7199958+rzhao271@users.noreply.github.com> Date: Fri, 6 Oct 2023 10:21:49 -0700 Subject: [PATCH] Remove duplicate settings search results (#195020) Remove duplicate settings --- .../contrib/preferences/browser/settingsTreeModels.ts | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/vs/workbench/contrib/preferences/browser/settingsTreeModels.ts b/src/vs/workbench/contrib/preferences/browser/settingsTreeModels.ts index 2cc75e4d5b0..c2be5d08e38 100644 --- a/src/vs/workbench/contrib/preferences/browser/settingsTreeModels.ts +++ b/src/vs/workbench/contrib/preferences/browser/settingsTreeModels.ts @@ -911,7 +911,10 @@ export class SearchResultModel extends SettingsTreeModel { return compareTwoNullableNumbers(a.setting.internalOrder, b.setting.internalOrder); } }); - return filterMatches; + + // Remove duplicates, which sometimes occur with settings + // such as the experimental toggle setting. + return arrays.distinct(filterMatches, (match) => match.setting.key); } getUniqueResults(): ISearchResult | null {