From 66fd600462d5dda7d7d6812d7c194c9d0fcf4b0d Mon Sep 17 00:00:00 2001
From: Jon Eugster <eugster.jon@gmail.com>
Date: Tue, 11 Apr 2023 11:19:50 +0200
Subject: [PATCH] removed old OtherGoals section

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

diff --git a/client/src/components/infoview/info.tsx b/client/src/components/infoview/info.tsx
index f157b60..68fa254 100644
--- a/client/src/components/infoview/info.tsx
+++ b/client/src/components/infoview/info.tsx
@@ -155,14 +155,14 @@ const InfoDisplayContent = React.memo((props: InfoDisplayContentProps) => {
                 </span> :
                 <><CircularProgress /><div>Loading goal...</div></>)}
         <AllMessages />
-        <LocationsContext.Provider value={locs}>
+        {/* <LocationsContext.Provider value={locs}>
             {goals && goals.goals.length > 1 && <div className="goals-section other-goals">
                     <div className="goals-section-title">Weitere Goals</div>
 
                     {goals.goals.slice(1).map((goal, i) =>
                         <details key={i}><summary><InteractiveCode fmt={goal.type} /></summary> <Goal commandLine={false} filter={goalFilter} goal={goal} /></details>)}
                 </div>}
-        </LocationsContext.Provider>
+        </LocationsContext.Provider> */}
     </>
 })