From fd07f43fa6d6a1883f81864c02870a6d8e4db347 Mon Sep 17 00:00:00 2001
From: Karl Ostmo <kostmo@gmail.com>
Date: Sat, 9 Sep 2023 19:59:12 -0700
Subject: [PATCH] Add footer to goals dialog

---
 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