changeset 43520 | cec9b95fa35d |
parent 43513 | 06951ddfc812 |
child 43643 | 474745a899ea |
43519:024bd7f5ee0f | 43520:cec9b95fa35d |
---|---|
7 package isabelle.jedit |
7 package isabelle.jedit |
8 |
8 |
9 |
9 |
10 import isabelle._ |
10 import isabelle._ |
11 |
11 |
12 import java.lang.System |
|
12 import java.io.{FileInputStream, IOException} |
13 import java.io.{FileInputStream, IOException} |
13 import java.awt.Font |
14 import java.awt.Font |
14 |
15 |
15 import scala.collection.mutable |
16 import scala.collection.mutable |
16 import scala.swing.ComboBox |
17 import scala.swing.ComboBox |