Fix microsoft#106303

jpda · Sep 10, 2020 · 8e5eed1 · 8e5eed1
1 parent 03960a5
commit 8e5eed1
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/src/vs/workbench/contrib/preferences/browser/settingsEditor2.ts b/src/vs/workbench/contrib/preferences/browser/settingsEditor2.ts
@@ -343,7 +343,10 @@ export class SettingsEditor2 extends EditorPane {
 		super.setEditorVisible(visible, group);
 
 		if (!visible) {
-			this.searchWidget.onHide();
+			// Wait for editor to be removed from DOM #106303
+			process.nextTick(() => {
+				this.searchWidget.onHide();
+			});
 		}
 	}