Change binding on Hide REPL to ^s

swarm-game · Jul 17, 2023 · 923ff93 · 923ff93
1 parent 485e6ac
commit 923ff93
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/Swarm/TUI/Controller.hs b/src/Swarm/TUI/Controller.hs
@@ -387,7 +387,7 @@ handleMainEvent ev = do
       -- Paint with the World Editor
       EC.handleCtrlLeftClick mouseLoc
     -- toggle collapse/expand REPL
-    ControlChar 's' -> do
+    ControlChar ',' -> do
       invalidateCacheEntry WorldCache
       uiState . uiShowREPL %= not
     MouseDown n _ _ mouseLoc ->

diff --git a/src/Swarm/TUI/View.hs b/src/Swarm/TUI/View.hs
@@ -929,7 +929,7 @@ drawKeyMenu s =
       , may isPaused (NoHighlight, "^o", "step")
       , may (isPaused && hasDebug) (if s ^. uiState . uiShowDebug then Alert else NoHighlight, "M-d", "debug")
       , Just (NoHighlight, "^zx", "speed")
-      , Just (NoHighlight, "^s", if s ^. uiState . uiShowREPL then "hide REPL" else "show REPL")
+      , Just (NoHighlight, "^,", if s ^. uiState . uiShowREPL then "hide REPL" else "show REPL")
       , Just (if s ^. uiState . uiShowRobots then NoHighlight else Alert, "M-h", "hide robots")
       ]
   may b = if b then Just else const Nothing