src/Tools/jEdit/src/plugin.scala
changeset 46740 852baa599351
parent 46204 df1369a42393
child 46761 b0a797158e34
     1.1 --- a/src/Tools/jEdit/src/plugin.scala	Thu Mar 01 11:28:33 2012 +0100
     1.2 +++ b/src/Tools/jEdit/src/plugin.scala	Thu Mar 01 14:12:18 2012 +0100
     1.3 @@ -390,9 +390,12 @@
     1.4  
     1.5              case Session.Ready =>
     1.6                Isabelle.jedit_buffers.foreach(Isabelle.init_model)
     1.7 -              delay_load()
     1.8 +              delay_load(true)
     1.9  
    1.10 -            case Session.Shutdown => Isabelle.jedit_buffers.foreach(Isabelle.exit_model)
    1.11 +            case Session.Shutdown =>
    1.12 +              Isabelle.jedit_buffers.foreach(Isabelle.exit_model)
    1.13 +              delay_load(false)
    1.14 +
    1.15              case _ =>
    1.16            }
    1.17          case bad => System.err.println("session_manager: ignoring bad message " + bad)
    1.18 @@ -416,7 +419,7 @@
    1.19          if (Isabelle.session.is_ready) {
    1.20            val buffer = msg.getBuffer
    1.21            if (buffer != null) Isabelle.init_model(buffer)
    1.22 -          delay_load()
    1.23 +          delay_load(true)
    1.24          }
    1.25  
    1.26        case msg: EditPaneUpdate