changeset 66591 | 6efa351190d0 |
parent 66206 | 2d2082db735a |
child 71601 | 97ccf48c2f0c |
--- a/src/Tools/jEdit/src/state_dockable.scala Fri Sep 01 14:58:19 2017 +0200 +++ b/src/Tools/jEdit/src/state_dockable.scala Fri Sep 01 15:15:29 2017 +0200 @@ -8,6 +8,7 @@ import isabelle._ +import isabelle.jedit_base.Dockable import scala.swing.{Button, CheckBox} import scala.swing.event.ButtonClicked