Wrap graphpanel in regular panel with border

Author: MaartenS11

src/main/kotlin/be/ugent/topl/mio/ui/GraphPanel.kt

@@ -5,20 +5,8 @@ import be.ugent.topl.mio.debugger.MultiverseGraph
 import be.ugent.topl.mio.debugger.MultiverseNode
 import be.ugent.topl.mio.debugger.PrimitiveNode
 import com.formdev.flatlaf.FlatLaf
-import java.awt.BasicStroke
-import java.awt.Color
-import java.awt.Cursor
-import java.awt.Dimension
-import java.awt.Graphics
-import java.awt.Graphics2D
-import java.awt.Point
-import java.awt.Rectangle
-import java.awt.RenderingHints
-import java.awt.event.MouseEvent
-import java.awt.event.MouseListener
-import java.awt.event.MouseMotionListener
-import java.awt.event.MouseWheelEvent
-import java.awt.event.MouseWheelListener
+import java.awt.*
+import java.awt.event.*
 import java.awt.geom.Path2D
 import java.awt.image.BufferedImage
 import java.io.File

src/main/kotlin/be/ugent/topl/mio/ui/InteractiveDebugger.kt

@@ -492,7 +492,11 @@ class MultiversePanel(private val multiverseDebugger: MultiverseDebugger, config
     }
     init {
         layout = BorderLayout()
-        add(JSplitPane(JSplitPane.VERTICAL_SPLIT, graphPanel, mockPanel).apply {
+        val treeFrame = JPanel(BorderLayout()).apply {
+            border = UIManager.getDefaults().getBorder("ScrollPane.border")
+            add(graphPanel)
+        }
+        add(JSplitPane(JSplitPane.VERTICAL_SPLIT, treeFrame, mockPanel).apply {
             resizeWeight = 0.7
         })
         //add(OverridesPanel(), BorderLayout.EAST)