src/vs/workbench/contrib/preferences/browser/preferencesRenderers.ts/UserSettingsRenderer/filterPreferences
class UserSettingsRenderer:	filterPreferences(filterResult: IFilterResult | undefined): void {
		this.filterResult = filterResult;
		this.settingHighlighter.clear(true);
		this.highlightMatchesRenderer.render(filterResult ? filterResult.matches : []);
	}