--- 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)
}