src/Tools/jEdit/src/protocol_dockable.scala
changeset 46774 38f113b052b1
parent 46772 be21f050eda4
child 46918 1752164d916b
     1.1 --- a/src/Tools/jEdit/src/protocol_dockable.scala	Sat Mar 03 17:46:50 2012 +0100
     1.2 +++ b/src/Tools/jEdit/src/protocol_dockable.scala	Sat Mar 03 18:18:39 2012 +0100
     1.3 @@ -39,6 +39,6 @@
     1.4      }
     1.5    }
     1.6  
     1.7 -  override def init() { Isabelle.session.protocol_messages += main_actor }
     1.8 -  override def exit() { Isabelle.session.protocol_messages -= main_actor }
     1.9 +  override def init() { Isabelle.session.all_messages += main_actor }
    1.10 +  override def exit() { Isabelle.session.all_messages -= main_actor }
    1.11  }