diff --git a/src/Swarm/TUI/Controller.hs b/src/Swarm/TUI/Controller.hs index bc3874996..8dfec1082 100644 --- 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 + MetaChar ',' -> do invalidateCacheEntry WorldCache uiState . uiShowREPL %= not MouseDown n _ _ mouseLoc -> diff --git a/src/Swarm/TUI/View.hs b/src/Swarm/TUI/View.hs index ce55ddb61..88a695385 100644 --- 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, "M-,", 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