From ff349d8a3ee7f92230e50390d77e9e1b22feff4f Mon Sep 17 00:00:00 2001 From: Noah Yorgey Date: Sat, 18 May 2024 15:18:12 -0500 Subject: [PATCH] Help menu consistency fix (#1854) Fix the F1 Help menu to be consistent with in-game controls. Closes #1827. --- src/swarm-tui/Swarm/TUI/View.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/swarm-tui/Swarm/TUI/View.hs b/src/swarm-tui/Swarm/TUI/View.hs index ec4c9d802..304005464 100644 --- 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")