changeset 55618 | 995162143ef4 |
parent 51616 | 949e2cf02a3d |
child 56372 | fadb0fef09d7 |
55617:2c585bb9560c | 55618:995162143ef4 |
---|---|
3 |
3 |
4 Graphview Java2D drawing panel. |
4 Graphview Java2D drawing panel. |
5 */ |
5 */ |
6 |
6 |
7 package isabelle.graphview |
7 package isabelle.graphview |
8 |
|
8 |
9 |
9 import isabelle._ |
10 import isabelle._ |
10 |
11 |
11 import java.awt.{Dimension, Graphics2D, Point, Rectangle} |
12 import java.awt.{Dimension, Graphics2D, Point, Rectangle} |
12 import java.awt.geom.{AffineTransform, Point2D} |
13 import java.awt.geom.{AffineTransform, Point2D} |