changeset 66591 | 6efa351190d0 |
parent 66206 | 2d2082db735a |
child 71601 | 97ccf48c2f0c |
66590:8e1aac4eed11 | 66591:6efa351190d0 |
---|---|
6 |
6 |
7 package isabelle.jedit |
7 package isabelle.jedit |
8 |
8 |
9 |
9 |
10 import isabelle._ |
10 import isabelle._ |
11 import isabelle.jedit_base.Dockable |
|
11 |
12 |
12 import scala.swing.{Button, CheckBox} |
13 import scala.swing.{Button, CheckBox} |
13 import scala.swing.event.ButtonClicked |
14 import scala.swing.event.ButtonClicked |
14 |
15 |
15 import java.awt.BorderLayout |
16 import java.awt.BorderLayout |