src/vs/workbench/contrib/preferences/browser/settingsEditor2.ts/SettingsEditor2/applyFilter
class SettingsEditor2:	private applyFilter(filter: string) {
		if (this.searchWidget && !this.searchWidget.getValue().includes(filter)) {
			// Prepend the filter to the query.
			const newQuery = `${filter} ${this.searchWidget.getValue().trimStart()}`;
			this.focusSearch(newQuery, false);
		}
	}