changeset 55618 | 995162143ef4 |
parent 50476 | 1cb983bccb5b |
child 56372 | fadb0fef09d7 |
--- a/src/Tools/Graphview/src/visualizer.scala Thu Feb 20 14:17:28 2014 +0100 +++ b/src/Tools/Graphview/src/visualizer.scala Thu Feb 20 14:36:17 2014 +0100 @@ -9,7 +9,6 @@ import isabelle._ - import java.awt.{Font, FontMetrics, Color => JColor, Shape, RenderingHints, Graphics2D} import java.awt.image.BufferedImage import javax.swing.JComponent