# HG changeset patch
# User wenzelm
# Date 1420227454 -3600
# Node ID 8a85fe32c2787b661352e54b7934724ad8b808b2
# Parent  ac135eff1ffb6410fce470ff25f4b5f73d9521e5
tuned;

diff -r ac135eff1ffb -r 8a85fe32c278 src/Tools/Graphview/graph_panel.scala
--- 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 _ =>
         }
     }