src/Tools/jEdit/src/syslog_dockable.scala
changeset 50205 788c8263e634
parent 49559 c3a6e110679b
child 53177 dcac8d837b9c
     1.1 --- a/src/Tools/jEdit/src/syslog_dockable.scala	Sun Nov 25 20:31:49 2012 +0100
     1.2 +++ b/src/Tools/jEdit/src/syslog_dockable.scala	Sun Nov 25 20:59:32 2012 +0100
     1.3 @@ -24,7 +24,7 @@
     1.4    private def update_syslog()
     1.5    {
     1.6      Swing_Thread.later {
     1.7 -      val text = Isabelle.session.current_syslog()
     1.8 +      val text = PIDE.session.current_syslog()
     1.9        if (text != syslog.text) syslog.text = text
    1.10      }
    1.11    }
    1.12 @@ -47,12 +47,12 @@
    1.13  
    1.14    override def init()
    1.15    {
    1.16 -    Isabelle.session.syslog_messages += main_actor
    1.17 +    PIDE.session.syslog_messages += main_actor
    1.18      update_syslog()
    1.19    }
    1.20  
    1.21    override def exit()
    1.22    {
    1.23 -    Isabelle.session.syslog_messages -= main_actor
    1.24 +    PIDE.session.syslog_messages -= main_actor
    1.25    }
    1.26  }