changeset 55618 | 995162143ef4 |
parent 50476 | 1cb983bccb5b |
child 56372 | fadb0fef09d7 |
55617:2c585bb9560c | 55618:995162143ef4 |
---|---|
6 |
6 |
7 package isabelle.graphview |
7 package isabelle.graphview |
8 |
8 |
9 |
9 |
10 import isabelle._ |
10 import isabelle._ |
11 |
|
12 |
11 |
13 import java.awt.{Font, FontMetrics, Color => JColor, Shape, RenderingHints, Graphics2D} |
12 import java.awt.{Font, FontMetrics, Color => JColor, Shape, RenderingHints, Graphics2D} |
14 import java.awt.image.BufferedImage |
13 import java.awt.image.BufferedImage |
15 import javax.swing.JComponent |
14 import javax.swing.JComponent |
16 |
15 |