src/Tools/jEdit/src/isabelle.scala
changeset 51533 3f6280aedbcc
parent 50775 8c1cda8ad833
child 52815 eaad5fe7bb1b
     1.1 --- a/src/Tools/jEdit/src/isabelle.scala	Mon Mar 25 20:00:27 2013 +0100
     1.2 +++ b/src/Tools/jEdit/src/isabelle.scala	Tue Mar 26 11:26:13 2013 +0100
     1.3 @@ -26,6 +26,12 @@
     1.4        case _ => None
     1.5      }
     1.6  
     1.7 +  def docked_timing(view: View): Option[Timing_Dockable] =
     1.8 +    wm(view).getDockableWindow("isabelle-timing") match {
     1.9 +      case dockable: Timing_Dockable => Some(dockable)
    1.10 +      case _ => None
    1.11 +    }
    1.12 +
    1.13    def docked_output(view: View): Option[Output_Dockable] =
    1.14      wm(view).getDockableWindow("isabelle-output") match {
    1.15        case dockable: Output_Dockable => Some(dockable)