src/Tools/jEdit/src/plugin.scala
changeset 50127 ff0b52a6d72f
parent 50117 32755e357a51
child 50183 2b3e24e1c9e7
equal deleted inserted replaced
50126:3dec88149176 50127:ff0b52a6d72f
   229                 Library.error_dialog(jEdit.getActiveView, "Prover process failure",
   229                 Library.error_dialog(jEdit.getActiveView, "Prover process failure",
   230                     "Isabelle Syslog", Library.scrollable_text(Isabelle.session.current_syslog()))
   230                     "Isabelle Syslog", Library.scrollable_text(Isabelle.session.current_syslog()))
   231               }
   231               }
   232 
   232 
   233             case Session.Ready =>
   233             case Session.Ready =>
       
   234               Isabelle.session.global_options.event(Session.Global_Options(Isabelle.options.value))
   234               JEdit_Lib.jedit_buffers.foreach(Isabelle.init_model)
   235               JEdit_Lib.jedit_buffers.foreach(Isabelle.init_model)
   235               Swing_Thread.later { delay_load.invoke() }
   236               Swing_Thread.later { delay_load.invoke() }
   236 
   237 
   237             case Session.Shutdown =>
   238             case Session.Shutdown =>
   238               JEdit_Lib.jedit_buffers.foreach(Isabelle.exit_model)
   239               JEdit_Lib.jedit_buffers.foreach(Isabelle.exit_model)