tuned;

--- a/src/Tools/Graphview/graph_panel.scala	Fri Jan 02 20:13:48 2015 +0100
+++ b/src/Tools/Graphview/graph_panel.scala	Fri Jan 02 20:37:34 2015 +0100
@@ -182,8 +182,7 @@
           case '+' => rescale(Transform.scale * 5.0/4)
           case '-' => rescale(Transform.scale * 4.0/5)
           case '0' => Transform.fit_to_window()
-          case '1' => visualizer.Coordinates.update_layout()
-          case '2' => Transform.fit_to_window()
+          case '1' => apply_layout()
           case _ =>
         }
     }