src/Tools/jEdit/src/isabelle.scala
changeset 50433 9131dadb2bf7
parent 50341 0c65a7cfc0f3
child 50775 8c1cda8ad833
     1.1 --- a/src/Tools/jEdit/src/isabelle.scala	Sat Dec 08 22:14:39 2012 +0100
     1.2 +++ b/src/Tools/jEdit/src/isabelle.scala	Sat Dec 08 22:19:24 2012 +0100
     1.3 @@ -44,6 +44,12 @@
     1.4        case _ => None
     1.5      }
     1.6  
     1.7 +  def docked_monitor(view: View): Option[Monitor_Dockable] =
     1.8 +    wm(view).getDockableWindow("isabelle-monitor") match {
     1.9 +      case dockable: Monitor_Dockable => Some(dockable)
    1.10 +      case _ => None
    1.11 +    }
    1.12 +
    1.13  
    1.14    /* font size */
    1.15