--- a/src/Tools/jEdit/src/isabelle.scala Fri Nov 30 21:28:35 2012 +0100
+++ b/src/Tools/jEdit/src/isabelle.scala Fri Nov 30 21:30:24 2012 +0100
@@ -20,9 +20,9 @@
private def wm(view: View): DockableWindowManager = view.getDockableWindowManager
- def docked_session(view: View): Option[Session_Dockable] =
- wm(view).getDockableWindow("isabelle-session") match {
- case dockable: Session_Dockable => Some(dockable)
+ def docked_theories(view: View): Option[Theories_Dockable] =
+ wm(view).getDockableWindow("isabelle-theories") match {
+ case dockable: Theories_Dockable => Some(dockable)
case _ => None
}