changeset 50127 | ff0b52a6d72f |
parent 50117 | 32755e357a51 |
child 50183 | 2b3e24e1c9e7 |
--- a/src/Tools/jEdit/src/plugin.scala Mon Nov 19 20:23:47 2012 +0100 +++ b/src/Tools/jEdit/src/plugin.scala Mon Nov 19 20:47:13 2012 +0100 @@ -231,6 +231,7 @@ } 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() }