src/vs/workbench/contrib/preferences/browser/preferencesEditor.ts/PreferencesEditor/focus
class PreferencesEditor:	override focus(): void {
		if (this.lastFocusedWidget) {
			this.lastFocusedWidget.focus();
		}
	}