Remove duplicate settings search results (#195020)

Remove duplicate settings
This commit is contained in:
Raymond Zhao
2023-10-06 18:21:49 +01:00
committed by GitHub
parent 98c29fb976
commit 22ca160cbd
@@ -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 {