--- a/src/Tools/jEdit/src/plugin.scala Tue Aug 11 22:17:19 2015 +0200
+++ b/src/Tools/jEdit/src/plugin.scala Wed Aug 12 01:25:00 2015 +0200
@@ -262,6 +262,7 @@
}
case Session.Ready =>
+ Debugger.init_session(PIDE.session)
PIDE.session.update_options(PIDE.options.value)
PIDE.init_models()