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 visualizer: Visualizer, repaint_all: () => Unit) extends BorderPanel
+class Tree_Panel(val visualizer: Visualizer, graph_panel: Graph_Panel) extends BorderPanel
 {
   /* main actions */
 
   private def selection_action()
   {

               }
             case _ =>
           }
         }
       }
-      repaint_all()
+      graph_panel.repaint()
     }
   }
 
   private def point_action(path: TreePath)
   {

               case node: Graph_Display.Node => Some(node)
               case _ => None
             }
           case _ => None
         }
-      action_node match {
-        case Some(node) =>
-          val info = visualizer.layout.get_node(node)
-          tree_pane.peer.scrollRectToVisible(
-            new Rectangle(
-              (info.x - info.width2).toInt, (info.y - info.height2).toInt,
-              info.width.toInt, info.height.toInt))
-        case None =>
-      }
+      action_node.foreach(graph_panel.scroll_to_node(_))
       visualizer.current_node = action_node
-      repaint_all()
+      graph_panel.repaint()
     }
   }
 
 
   /* tree */