changeset 66591 | 6efa351190d0 |
parent 57612 | 990ffb84489b |
child 71704 | b9a5eb0f3b43 |
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.{TextArea, ScrollPane} |
13 import scala.swing.{TextArea, ScrollPane} |
13 |
14 |
14 import org.gjt.sp.jedit.View |
15 import org.gjt.sp.jedit.View |
15 |
16 |