src/Tools/jEdit/src/syslog_dockable.scala

--- a/src/Tools/jEdit/src/syslog_dockable.scala	Sun Nov 25 20:31:49 2012 +0100
+++ b/src/Tools/jEdit/src/syslog_dockable.scala	Sun Nov 25 20:59:32 2012 +0100
@@ -24,7 +24,7 @@
   private def update_syslog()
   {
     Swing_Thread.later {
-      val text = Isabelle.session.current_syslog()
+      val text = PIDE.session.current_syslog()
       if (text != syslog.text) syslog.text = text
     }
   }
@@ -47,12 +47,12 @@
 
   override def init()
   {
-    Isabelle.session.syslog_messages += main_actor
+    PIDE.session.syslog_messages += main_actor
     update_syslog()
   }
 
   override def exit()
   {
-    Isabelle.session.syslog_messages -= main_actor
+    PIDE.session.syslog_messages -= main_actor
   }
 }