Help menu consistency fix (#1854)

Fix the F1 Help menu to be consistent with in-game controls. Closes #1827.
swarm-game · May 18, 2024 · ff349d8 · ff349d8
1 parent 96d80fd
commit ff349d8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/swarm-tui/Swarm/TUI/View.hs b/src/swarm-tui/Swarm/TUI/View.hs
@@ -827,7 +827,7 @@ helpWidget theSeed mport =
     , ("Ctrl-z", "decrease speed")
     , ("Ctrl-w", "increase speed")
     , ("Ctrl-q", "quit or restart the current scenario")
-    , ("Ctrl-s", "collapse/expand REPL")
+    , ("Meta-,", "collapse/expand REPL")
     , ("Meta-h", "hide robots for 2s")
     , ("Meta-w", "focus on the world map")
     , ("Meta-e", "focus on the robot inventory")