From 044b9b177d91237893af29f43382c147b0ba54b9 Mon Sep 17 00:00:00 2001
From: Evgenia Karunus <lakesare@gmail.com>
Date: Tue, 15 Oct 2024 18:43:59 +0500
Subject: [PATCH] `<BoxEl/>` - leave the goalNode visible when collapsing the
 box

---
 app/src/components/ProofTree/components/BoxEl/index.tsx | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/app/src/components/ProofTree/components/BoxEl/index.tsx b/app/src/components/ProofTree/components/BoxEl/index.tsx
index b8a158a..191f25b 100644
--- a/app/src/components/ProofTree/components/BoxEl/index.tsx
+++ b/app/src/components/ProofTree/components/BoxEl/index.tsx
@@ -93,7 +93,10 @@ const BoxEl = (props: MyProps) => {
       <Header row1Hyps={tableWithHeader?.row1Hyps} headerInfo={headerInfo}/>
     }
 
-    {!isCollapsed &&
+    {isCollapsed ?
+      <div className="box-insides">
+        <GoalNode goalNode={props.box.goalNodes[0]}/>
+      </div> :
       <div className="box-insides">
         <Hypotheses hypTables={props.box.hypTables}/>