diff -r 04f5355f1ab0 -r db265648139c src/Tools/Graphview/popups.scala
--- a/src/Tools/Graphview/popups.scala	Sat Jan 03 21:50:50 2015 +0100
+++ b/src/Tools/Graphview/popups.scala	Sat Jan 03 22:04:31 2015 +0100
@@ -142,8 +142,7 @@
       popup.add(new JPopupMenu.Separator)
     }
 
-    popup.add(
-      new MenuItem(new Action("Fit to window") { def apply = panel.fit_to_window() }).peer)
+    popup.add(new MenuItem(new Action("Fit to window") { def apply = panel.fit_to_window() }).peer)
 
     popup
   }