| changeset 82142 | 508a673c87ac |
| parent 75393 | 87ebf5a50283 |
| 82141:9f509bc10a63 | 82142:508a673c87ac |
|---|---|
6 |
6 |
7 package isabelle.jedit |
7 package isabelle.jedit |
8 |
8 |
9 |
9 |
10 import isabelle._ |
10 import isabelle._ |
11 |
|
12 import java.awt.BorderLayout |
|
13 |
11 |
14 import scala.swing.{TextArea, ScrollPane} |
12 import scala.swing.{TextArea, ScrollPane} |
15 |
13 |
16 import org.gjt.sp.jedit.View |
14 import org.gjt.sp.jedit.View |
17 |
15 |