changeset 49558 | af7b652180d5 |
parent 49557 | 61988f9df94d |
child 49569 | 7b6aaf446496 |
--- a/src/Tools/Graphview/src/graph_panel.scala Mon Sep 24 20:22:58 2012 +0200 +++ b/src/Tools/Graphview/src/graph_panel.scala Mon Sep 24 21:16:33 2012 +0200 @@ -6,6 +6,7 @@ package isabelle.graphview +import isabelle._ import java.awt.{Dimension, Graphics2D, Point, Rectangle} import java.awt.geom.{AffineTransform, Point2D}