<BoxEl/> - leave the goalNode visible when collapsing the box

Paper-Proof · Nov 4, 2024 · 044b9b1 · 044b9b1
1 parent 21c9596
commit 044b9b1
Showing 1 changed file with 4 additions and 1 deletion.
diff --git 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}/>