From 5bfae3a1c2f487b690158d21debcb4ee437a8f28 Mon Sep 17 00:00:00 2001
From: Alexander Bentkamp <bentkamp@gmail.com>
Date: Wed, 25 Jan 2023 16:22:45 +0100
Subject: [PATCH] show other goals only for more than 1 goal

---
 client/src/components/infoview/info.tsx | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

diff --git a/client/src/components/infoview/info.tsx b/client/src/components/infoview/info.tsx
index ccf87c7..b4d051a 100644
--- a/client/src/components/infoview/info.tsx
+++ b/client/src/components/infoview/info.tsx
@@ -121,10 +121,10 @@ const InfoDisplayContent = React.memo((props: InfoDisplayContentProps) => {
                 <a className='link pointer dim' onClick={e => { e.preventDefault(); void triggerUpdate(); }}>{' '}Try again.</a>
             </div>}
         <LocationsContext.Provider value={locs}>
-            <div className="goals-section">
-                <div className="goals-section-title">Main Goal</div>
-                {goals && goals.goals.length > 0 && <Goal filter={goalFilter} key='mainGoal' goal={goals.goals[0]} showHints={true} />}
-            </div>
+            {goals && goals.goals.length > 0 && <div className="goals-section">
+                    <div className="goals-section-title">Main Goal</div>
+                    <Goal filter={goalFilter} key='mainGoal' goal={goals.goals[0]} showHints={true} />
+                </div>}
         </LocationsContext.Provider>
         {/* <FilteredGoals headerChildren='Expected type' key='term-goal'
             goals={termGoal !== undefined ? {goals: [{...termGoal, hints: []}]} : undefined} /> */}
@@ -154,12 +154,12 @@ const InfoDisplayContent = React.memo((props: InfoDisplayContentProps) => {
                 <div>Loading goal...</div>)}
         <AllMessages />
         <LocationsContext.Provider value={locs}>
-            <div className="goals-section">
-                <div className="goals-section-title">Other Goals</div>
+            {goals && goals.goals.length > 1 && <div className="goals-section">
+                    <div className="goals-section-title">Other Goals</div>
 
-                {goals && goals.goals.slice(1).map((goal, i) =>
-                  <details key={i}><summary><InteractiveCode fmt={goal.type} /></summary> <Goal filter={goalFilter} goal={goal} /></details>)}
-            </div>
+                    {goals.goals.slice(1).map((goal, i) =>
+                        <details key={i}><summary><InteractiveCode fmt={goal.type} /></summary> <Goal filter={goalFilter} goal={goal} /></details>)}
+                </div>}
         </LocationsContext.Provider>
     </>
 })