Fixes shell/fetch regression

2023-07-24 09:36:33 +02:00
parent 7cd88eca14
commit 804c688a46
5 changed files with 29 additions and 14 deletions
@@ -562,6 +562,19 @@ export class Client {
  }

  focus() {
+    const viewState = this.ui.viewState;
+    if (
+      [
+        viewState.showCommandPalette,
+        viewState.showPageNavigator,
+        viewState.showFilterBox,
+        viewState.showConfirm,
+        viewState.showPrompt,
+      ].some(Boolean)
+    ) {
+      // Some other modal UI element is visible, don't focus editor now
+      return;
+    }
    this.editorView!.focus();
  }