src/Tools/jEdit/src/plugin.scala
changeset 46740 852baa599351
parent 46204 df1369a42393
child 46761 b0a797158e34
--- a/src/Tools/jEdit/src/plugin.scala	Thu Mar 01 11:28:33 2012 +0100
+++ b/src/Tools/jEdit/src/plugin.scala	Thu Mar 01 14:12:18 2012 +0100
@@ -390,9 +390,12 @@
 
             case Session.Ready =>
               Isabelle.jedit_buffers.foreach(Isabelle.init_model)
-              delay_load()
+              delay_load(true)
 
-            case Session.Shutdown => Isabelle.jedit_buffers.foreach(Isabelle.exit_model)
+            case Session.Shutdown =>
+              Isabelle.jedit_buffers.foreach(Isabelle.exit_model)
+              delay_load(false)
+
             case _ =>
           }
         case bad => System.err.println("session_manager: ignoring bad message " + bad)
@@ -416,7 +419,7 @@
         if (Isabelle.session.is_ready) {
           val buffer = msg.getBuffer
           if (buffer != null) Isabelle.init_model(buffer)
-          delay_load()
+          delay_load(true)
         }
 
       case msg: EditPaneUpdate