src/Tools/jEdit/src/isabelle.scala

--- a/src/Tools/jEdit/src/isabelle.scala	Sat Dec 08 22:14:39 2012 +0100
+++ b/src/Tools/jEdit/src/isabelle.scala	Sat Dec 08 22:19:24 2012 +0100
@@ -44,6 +44,12 @@
       case _ => None
     }
 
+  def docked_monitor(view: View): Option[Monitor_Dockable] =
+    wm(view).getDockableWindow("isabelle-monitor") match {
+      case dockable: Monitor_Dockable => Some(dockable)
+      case _ => None
+    }
+
 
   /* font size */