changeset 73987 | fc363a3b690a |
parent 73367 | 77ef8bef0593 |
child 75393 | 87ebf5a50283 |
--- a/src/Tools/jEdit/src/debugger_dockable.scala Thu Jul 15 16:01:04 2021 +0200 +++ b/src/Tools/jEdit/src/debugger_dockable.scala Thu Jul 15 16:35:45 2021 +0200 @@ -8,7 +8,6 @@ import isabelle._ -import isabelle.jedit_base.Dockable import java.awt.{BorderLayout, Dimension} import java.awt.event.{ComponentEvent, ComponentAdapter, KeyEvent, FocusAdapter, FocusEvent,