From 5b7485c410135e847d763ef1abc594ecfb78771f Mon Sep 17 00:00:00 2001 From: Rob Lourens Date: Fri, 19 Jan 2018 10:37:28 -0800 Subject: [PATCH] Remove settings search @groupId filters - since group ids can now be extension guids, and nobody uses this anyway --- .../electron-browser/preferencesSearch.ts | 15 ++++----------- 1 file changed, 4 insertions(+), 11 deletions(-) diff --git a/src/vs/workbench/parts/preferences/electron-browser/preferencesSearch.ts b/src/vs/workbench/parts/preferences/electron-browser/preferencesSearch.ts index e255837bbcb..763be7bcc05 100644 --- a/src/vs/workbench/parts/preferences/electron-browser/preferencesSearch.ts +++ b/src/vs/workbench/parts/preferences/electron-browser/preferencesSearch.ts @@ -106,17 +106,10 @@ export class LocalSearchProvider implements ISearchProvider { } private getGroupFilter(filter: string): IGroupFilter { - if (strings.startsWith(filter, '@')) { - const groupId = filter.replace(/^@/, ''); - return (group: ISettingsGroup) => { - return group.id.toLowerCase() === groupId.toLowerCase(); - }; - } else { - const regex = strings.createRegExp(this._filter, false, { global: true }); - return (group: ISettingsGroup) => { - return regex.test(group.title); - }; - } + const regex = strings.createRegExp(this._filter, false, { global: true }); + return (group: ISettingsGroup) => { + return regex.test(group.title); + }; } } -- GitLab