src/Tools/jEdit/src/jedit_sessions.scala

       (space_explode(',', PIDE.options.string("jedit_print_mode")) :::
        space_explode(',', Isabelle_System.getenv("JEDIT_PRINT_MODE"))).reverse
 
     Isabelle_Process.start(PIDE.session, session_options(),
       logic = session_name(), dirs = session_dirs(), modes = modes,
-      store = Sessions.store(session_build_mode() == "system"))
+      store = Sessions.store(session_build_mode() == "system"),
+      phase_changed = PIDE.plugin.session_phase_changed)
   }
 
   def session_list(): List[String] =
   {
     val session_tree = Sessions.load(PIDE.options.value, dirs = session_dirs())