src/Tools/jEdit/src/protocol_dockable.scala
changeset 46120 f7ee2e5a83dd
parent 43721 fad8634cee62
child 46772 be21f050eda4
     1.1 --- a/src/Tools/jEdit/src/protocol_dockable.scala	Thu Jan 05 13:24:29 2012 +0100
     1.2 +++ b/src/Tools/jEdit/src/protocol_dockable.scala	Thu Jan 05 13:27:50 2012 +0100
     1.3 @@ -39,6 +39,6 @@
     1.4      }
     1.5    }
     1.6  
     1.7 -  override def init() { Isabelle.session.raw_messages += main_actor }
     1.8 -  override def exit() { Isabelle.session.raw_messages -= main_actor }
     1.9 +  override def init() { Isabelle.session.protocol_messages += main_actor }
    1.10 +  override def exit() { Isabelle.session.protocol_messages -= main_actor }
    1.11  }