From 7b9f635bc049e465201b0642ab87183a6ff70610 Mon Sep 17 00:00:00 2001
From: Steven Hugg <hugg@fasterlight.com>
Date: Sat, 19 Feb 2022 17:27:26 -0600
Subject: [PATCH] editor: set focus when switching between files

---
 src/ide/views/editors.ts | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/src/ide/views/editors.ts b/src/ide/views/editors.ts
index d5a81d28..949353d5 100644
--- a/src/ide/views/editors.ts
+++ b/src/ide/views/editors.ts
@@ -76,6 +76,12 @@ export class SourceEditor implements ProjectView {
     return div;
   }
 
+  setVisible(showing: boolean): void {
+    if (showing) {
+      this.editor.focus(); // so that keyboard works when moving between files
+    }
+  }
+
   newEditor(parent:HTMLElement, isAsmOverride?:boolean) {
     var modedef = MODEDEFS[this.mode] || MODEDEFS.default;
     var isAsm = isAsmOverride || modedef.isAsm;
@@ -599,5 +605,5 @@ export class ListingView extends DisassemblerView implements ProjectView {
       }
     }
   }
-}
 
+}