From a41eca64d225a1c584bf93503b97ac2e4e36c4ce Mon Sep 17 00:00:00 2001 From: "Restyled.io" Date: Tue, 28 May 2024 10:56:43 +0000 Subject: [PATCH] Restyled by fourmolu --- src/swarm-tui/Swarm/TUI/Controller.hs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/swarm-tui/Swarm/TUI/Controller.hs b/src/swarm-tui/Swarm/TUI/Controller.hs index a3eea4f1d1..8c844667db 100644 --- a/src/swarm-tui/Swarm/TUI/Controller.hs +++ b/src/swarm-tui/Swarm/TUI/Controller.hs @@ -351,9 +351,9 @@ handleMainEvent ev = do then -- ignore repeated keypresses continueWithoutRedraw else -- hide for two seconds - do - uiState . uiGameplay . uiHideRobotsUntil .= t + TimeSpec 2 0 - invalidateCacheEntry WorldCache + do + uiState . uiGameplay . uiHideRobotsUntil .= t + TimeSpec 2 0 + invalidateCacheEntry WorldCache -- debug focused robot MetaChar 'd' | isPaused && hasDebug -> do debug <- uiState . uiGameplay . uiShowDebug Lens.<%= not