src/vs/workbench/contrib/preferences/browser/preferencesWidgets.ts/SearchWidget/dispose
class SearchWidget:	override dispose(): void {
		if (this.options.focusKey) {
			this.options.focusKey.set(false);
		}
		super.dispose();
	}