equal
deleted
inserted
replaced
7 package isabelle.graphview |
7 package isabelle.graphview |
8 |
8 |
9 |
9 |
10 import isabelle._ |
10 import isabelle._ |
11 |
11 |
12 import scala.collection.JavaConversions._ |
|
13 import scala.swing.{BorderPanel, Button, BoxPanel, |
12 import scala.swing.{BorderPanel, Button, BoxPanel, |
14 Orientation, Swing, CheckBox, Action, FileChooser} |
13 Orientation, Swing, CheckBox, Action, FileChooser} |
15 |
14 |
16 import java.io.{File => JFile} |
15 import java.io.{File => JFile} |
17 import java.awt.{Color, Dimension, Graphics2D} |
16 import java.awt.{Color, Dimension, Graphics2D} |