src/vs/workbench/contrib/preferences/browser/keybindingsEditor.ts/KeybindingsEditor/search
class KeybindingsEditor:	search(filter: string): void {
		this.focusSearch();
		this.searchWidget.setValue(filter);
		this.selectEntry(0);
	}