src/Tools/Graphview/tree_panel.scala

--- a/src/Tools/Graphview/tree_panel.scala	Mon Jan 19 20:31:53 2015 +0100
+++ b/src/Tools/Graphview/tree_panel.scala	Mon Jan 19 20:39:01 2015 +0100
@@ -141,8 +141,8 @@
     tooltip = "Apply tree selection to graph"
   }
 
-  private val controls = new Wrap_Panel(Wrap_Panel.Alignment.Right)(
-    selection_label, selection_field, selection_apply)
+  private val controls =
+    new Wrap_Panel(Wrap_Panel.Alignment.Right)(selection_label, selection_field, selection_apply)
 
 
   /* main layout */