changeset 73987 | fc363a3b690a |
parent 73340 | 0ffcad1f6130 |
child 75393 | 87ebf5a50283 |
--- a/src/Tools/jEdit/src/output_dockable.scala Thu Jul 15 16:01:04 2021 +0200 +++ b/src/Tools/jEdit/src/output_dockable.scala Thu Jul 15 16:35:45 2021 +0200 @@ -8,7 +8,6 @@ import isabelle._ -import isabelle.jedit_base.Dockable import scala.swing.{Button, CheckBox} import scala.swing.event.ButtonClicked