src/Tools/jEdit/src/plugin.scala

                 Library.error_dialog(jEdit.getActiveView, "Prover process failure",
                     "Isabelle Syslog", Library.scrollable_text(Isabelle.session.current_syslog()))
               }
 
             case Session.Ready =>
+              Isabelle.session.global_options.event(Session.Global_Options(Isabelle.options.value))
               JEdit_Lib.jedit_buffers.foreach(Isabelle.init_model)
               Swing_Thread.later { delay_load.invoke() }
 
             case Session.Shutdown =>
               JEdit_Lib.jedit_buffers.foreach(Isabelle.exit_model)