Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Thu, 01 Jan 2015 14:40:20 +0100
changeset 59226 7b8c50be8d42
parent 59225 d0edf67253d3
child 59227 0df87ade7052
tuned;
src/Tools/Graphview/graph_panel.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/Graphview/graph_panel.scala	Thu Jan 01 14:37:25 2015 +0100
+++ b/src/Tools/Graphview/graph_panel.scala	Thu Jan 01 14:40:20 2015 +0100
@@ -177,12 +177,12 @@
       }
 
       def typed(c: Char, m: Key.Modifiers) =
-        (c, m) match {
-          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()
+        c match {
+          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 _ =>
         }
     }
isabelle