src/vs/workbench/contrib/preferences/browser/settingsEditor2.ts/SettingsEditor2/setEditorVisible
class SettingsEditor2:	protected override setEditorVisible(visible: boolean, group: IEditorGroup | undefined): void {
		super.setEditorVisible(visible, group);

		if (!visible) {
			// Wait for editor to be removed from DOM #106303
			setTimeout(() => {
				this.searchWidget.onHide();
			}, 0);
		}
	}