From b0140623706a581615be7711a4514d6942080917 Mon Sep 17 00:00:00 2001 From: Karl Ostmo Date: Sun, 10 Sep 2023 04:50:37 -0700 Subject: [PATCH] Add footer to goals dialog (#1509) # Before ![Screenshot from 2023-09-09 19-47-34](https://github.com/swarm-game/swarm/assets/261693/2aac5717-8cb0-44da-a8dc-17bfa36f297c) # After ![Screenshot from 2023-09-09 19-58-32](https://github.com/swarm-game/swarm/assets/261693/da4b303e-9715-48ef-8b87-2f0f2a7682dd) --- src/Swarm/TUI/View/Objective.hs | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/src/Swarm/TUI/View/Objective.hs b/src/Swarm/TUI/View/Objective.hs index 7b1ead093..099848019 100644 --- a/src/Swarm/TUI/View/Objective.hs +++ b/src/Swarm/TUI/View/Objective.hs @@ -34,12 +34,16 @@ renderGoalsDisplay :: GoalDisplay -> Widget Name renderGoalsDisplay gd = if hasMultiple then - hBox - [ leftSide - , hLimitPercent 70 $ padLeft (Pad 2) goalElaboration + vBox + [ hBox + [ leftSide + , hLimitPercent 70 $ padLeft (Pad 2) goalElaboration + ] + , footer ] else goalElaboration where + footer = hCenter $ withAttr italicAttr $ txt "NOTE: [Tab] toggles focus between panes" hasMultiple = hasMultipleGoals $ gd ^. goalsContent lw = _listWidget gd fr = _focus gd