src/Tools/jEdit/src/timing_dockable.scala

 
 package isabelle.jedit
 
 
 import isabelle._
+import isabelle.jedit_base.Dockable
 
 import scala.swing.{Label, ListView, Alignment, ScrollPane, Component, TextField}
 import scala.swing.event.{MouseClicked, ValueChanged}
 
 import java.awt.{BorderLayout, Graphics2D, Insets, Color}