1 files changed, 5 insertions, 2 deletions

diff --git a/src/editor.mjs b/src/editor.mjs
index 6456293..9ff8be6 100644
--- a/src/editor.mjs
+++ b/src/editor.mjs
@@ -559,9 +559,12 @@ document.onkeydown = (e) => {
     e.preventDefault()
     return null
   }
-  if (!cm.hasFocus()) {
-    if (!dumbymap) return
 
+  if (!cm.hasFocus()) {
+    if (e.key === 'F1') {
+      e.preventDefault()
+      cm.focus()
+    }
     if (e.key === 'Tab') {
       e.preventDefault()
       dumbymap.utils.focusNextMap(e.shiftKey)