src/vs/workbench/contrib/preferences/browser/preferencesSearch.ts/LocalSearchProvider/getGroupFilter
class LocalSearchProvider:	private getGroupFilter(filter: string): IGroupFilter {
		const regex = strings.createRegExp(filter, false, { global: true });
		return (group: ISettingsGroup) => {
			return regex.test(group.title);
		};
	}