src/Tools/Graphview/tree_panel.scala

 
 import scala.util.matching.Regex
 import scala.swing.{Component, ScrollPane, BorderPanel, Label, TextField, Button, CheckBox, Action}
 
 
-class Tree_Panel(val graphview: Graphview, graph_panel: Graph_Panel) extends BorderPanel
-{
+class Tree_Panel(val graphview: Graphview, graph_panel: Graph_Panel)
+extends BorderPanel {
   /* main actions */
 
-  private def selection_action(): Unit =
-  {
+  private def selection_action(): Unit = {
     if (tree != null) {
       graphview.current_node = None
       graphview.Selection.clear()
       val paths = tree.getSelectionPaths
       if (paths != null) {

       }
       graph_panel.repaint()
     }
   }
 
-  private def point_action(path: TreePath): Unit =
-  {
+  private def point_action(path: TreePath): Unit = {
     if (tree_pane != null && path != null) {
       val action_node =
         path.getLastPathComponent match {
           case tree_node: DefaultMutableTreeNode =>
             tree_node.getUserObject match {

     Wrap_Panel(List(selection_label, selection_field, selection_apply))
 
 
   /* main layout */
 
-  def refresh(): Unit =
-  {
+  def refresh(): Unit = {
     val new_nodes = graphview.visible_graph.topological_order
     if (new_nodes != nodes) {
       tree.clearSelection
 
       nodes = new_nodes