diff --git a/src/swarm-tui/Swarm/TUI/Model/Dialog/Robot.hs b/src/swarm-tui/Swarm/TUI/Model/Dialog/Robot.hs index 875c4242f..7bb14e695 100644 --- a/src/swarm-tui/Swarm/TUI/Model/Dialog/Robot.hs +++ b/src/swarm-tui/Swarm/TUI/Model/Dialog/Robot.hs @@ -74,8 +74,8 @@ mkRobotDisplay c = , colHdrRowHdr = Just $ ColHdrRowHdr $ \_ _ -> vLimit 1 (fill ' ') <=> hBorder } } - where - uiDebug = c ^. uiDbg + where + uiDebug = c ^. uiDbg emptyRobotDisplay :: Set DebugOption -> RobotDisplay emptyRobotDisplay uiDebug = diff --git a/src/swarm-tui/Swarm/TUI/View.hs b/src/swarm-tui/Swarm/TUI/View.hs index 28814e2de..ddebafb4b 100644 --- a/src/swarm-tui/Swarm/TUI/View.hs +++ b/src/swarm-tui/Swarm/TUI/View.hs @@ -33,7 +33,6 @@ module Swarm.TUI.View ( drawREPL, ) where -import Brick.Widgets.TabularList.Mixed (list) import Brick hiding (Direction, Location) import Brick.Focus import Brick.Forms @@ -48,6 +47,7 @@ import Brick.Widgets.Dialog import Brick.Widgets.Edit (getEditContents, renderEditor) import Brick.Widgets.List qualified as BL import Brick.Widgets.Table qualified as BT +import Brick.Widgets.TabularList.Mixed (list) import Control.Lens as Lens hiding (Const, from) import Control.Monad (guard) import Data.Array (range)