src/vs/workbench/contrib/preferences/browser/preferencesEditor.ts/PreferencesEditor/clearSearchResults
class PreferencesEditor:	clearSearchResults(): void {
		if (this.searchWidget) {
			this.searchWidget.clear();
		}
	}