changeset 50205 | 788c8263e634 |
parent 46918 | 1752164d916b |
child 55618 | 995162143ef4 |
--- a/src/Tools/jEdit/src/protocol_dockable.scala Sun Nov 25 20:31:49 2012 +0100 +++ b/src/Tools/jEdit/src/protocol_dockable.scala Sun Nov 25 20:59:32 2012 +0100 @@ -39,6 +39,6 @@ } } - override def init() { Isabelle.session.all_messages += main_actor } - override def exit() { Isabelle.session.all_messages -= main_actor } + override def init() { PIDE.session.all_messages += main_actor } + override def exit() { PIDE.session.all_messages -= main_actor } }