equal
deleted
inserted
replaced
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 java.awt.BorderLayout |
13 import java.awt.BorderLayout |
13 |
14 |
14 import scala.collection.immutable.Queue |
15 import scala.collection.immutable.Queue |
15 import scala.swing.{TextArea, TextField, ScrollPane, Component, ComboBox, Button} |
16 import scala.swing.{TextArea, TextField, ScrollPane, Component, ComboBox, Button} |