src/Tools/jEdit/src/documentation_dockable.scala

 
 package isabelle.jedit
 
 
 import isabelle._
+import isabelle.jedit_base.Dockable
 
 import java.awt.Dimension
 import java.awt.event.{KeyEvent, KeyAdapter, MouseEvent, MouseAdapter}
 import javax.swing.{JTree, JScrollPane}
 import javax.swing.tree.{DefaultMutableTreeNode, TreeSelectionModel}