# HG changeset patch
# User wenzelm
# Date 1420490645 -3600
# Node ID 42710fe5f05a2d4af6ed58104c6abe9242899dad
# Parent  b1086f3e4590bae8aa97de292a50fb2da98c2507
tuned imports;

diff -r b1086f3e4590 -r 42710fe5f05a src/Tools/Graphview/main_panel.scala
--- a/src/Tools/Graphview/main_panel.scala	Mon Jan 05 14:30:30 2015 +0100
+++ b/src/Tools/Graphview/main_panel.scala	Mon Jan 05 21:44:05 2015 +0100
@@ -13,9 +13,7 @@
 import scala.swing.{BorderPanel, Button, CheckBox, Action, FileChooser}
 
 import java.io.{File => JFile}
-import java.awt.{Color, Dimension, Graphics2D}
-import java.awt.geom.Rectangle2D
-import java.awt.image.BufferedImage
+import java.awt.{Color, Graphics2D}
 import javax.imageio.ImageIO
 import javax.swing.border.EmptyBorder
 import javax.swing.JComponent
@@ -72,7 +70,6 @@
     {
       gfx.setColor(Color.WHITE)
       gfx.fillRect(0, 0, w, h)
-
       gfx.translate(- box.x, - box.y)
       visualizer.Drawer.paint_all_visible(gfx, false)
     }