--- a/src/Tools/Graphview/tree_panel.scala Sat Aug 13 21:43:45 2022 +0200
+++ b/src/Tools/Graphview/tree_panel.scala Sat Aug 13 22:41:45 2022 +0200
@@ -16,7 +16,7 @@
import javax.swing.event.{TreeSelectionEvent, TreeSelectionListener, DocumentListener, DocumentEvent}
import scala.util.matching.Regex
-import scala.swing.{Component, ScrollPane, BorderPanel, Label, TextField, Button, CheckBox, Action}
+import scala.swing.{Component, ScrollPane, BorderPanel, Label, TextField, Button, Action}
class Tree_Panel(val graphview: Graphview, graph_panel: Graph_Panel)