skip header

swarm-game · Jan 25, 2023 · 73690cd · 73690cd
1 parent bbad150
commit 73690cd
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/src/Swarm/Game/Scenario/Objective/Presentation/Model.hs b/src/Swarm/Game/Scenario/Objective/Presentation/Model.hs
@@ -51,6 +51,11 @@ data GoalEntry
   = Header GoalStatus
   | Goal GoalStatus Objective
 
+isHeader :: GoalEntry -> Bool
+isHeader = \case
+  Header _ -> True
+  _ -> False
+
 data GoalTracking = GoalTracking
   { announcements :: [Announcement]
   -- ^ TODO: #1044 the actual contents of these are not used yet,

diff --git a/src/Swarm/TUI/Controller.hs b/src/Swarm/TUI/Controller.hs
@@ -413,7 +413,7 @@ handleModalEvent = \case
       Just _ -> handleInfoPanelEvent modalScroll (VtyEvent ev)
       _ -> return ()
    where
-    refreshList lw = nestEventM' lw $ BL.handleListEvent ev
+    refreshList lw = nestEventM' lw $ handleListEventWithSeparators ev isHeader
 
 -- | Write the @ScenarioInfo@ out to disk when exiting a game.
 saveScenarioInfoOnQuit :: (MonadIO m, MonadState AppState m) => m ()