# 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 _ => } }