src/vs/workbench/contrib/preferences/browser/preferencesRenderers.ts/DefaultSettingsHeaderRenderer/render
class DefaultSettingsHeaderRenderer:	render(filterResult: IFilterResult | undefined) {
		const hasSettings = !filterResult || filterResult.filteredGroups.length > 0;
		this.settingsHeaderWidget.toggleMessage(hasSettings);
	}