src/Tools/jEdit/src/isabelle.scala
changeset 55316 885500f4aa6a
parent 54640 bbd2fa353809
child 55500 cdbbaa3074a8
     1.1 --- a/src/Tools/jEdit/src/isabelle.scala	Tue Feb 04 01:35:48 2014 +0100
     1.2 +++ b/src/Tools/jEdit/src/isabelle.scala	Tue Feb 04 09:04:59 2014 +0000
     1.3 @@ -81,6 +81,12 @@
     1.4        case _ => None
     1.5      }
     1.6  
     1.7 +  def docked_simplifier_trace(view: View): Option[Simplifier_Trace_Dockable] =
     1.8 +    wm(view).getDockableWindow("isabelle-simp-trace") match {
     1.9 +      case dockable: Simplifier_Trace_Dockable => Some(dockable)
    1.10 +      case _ => None
    1.11 +    }
    1.12 +
    1.13    def docked_protocol(view: View): Option[Protocol_Dockable] =
    1.14      wm(view).getDockableWindow("isabelle-protocol") match {
    1.15        case dockable: Protocol_Dockable => Some(dockable)