src/vs/workbench/contrib/preferences/browser/preferencesEditor.ts/PreferencesEditor/focusSearch
class PreferencesEditor:	focusSearch(filter?: string): void {
		if (filter) {
			this.searchWidget.setValue(filter);
		}

		this.searchWidget.focus();
	}