src/Tools/jEdit/src/plugin.scala
changeset 44434 3b9b684bfa6f
parent 44379 1079ab6b342b
child 44573 51f8895b9ad9
     1.1 --- a/src/Tools/jEdit/src/plugin.scala	Mon Aug 22 23:39:05 2011 +0200
     1.2 +++ b/src/Tools/jEdit/src/plugin.scala	Tue Aug 23 21:14:59 2011 +0200
     1.3 @@ -409,7 +409,7 @@
     1.4            Isabelle.start_session()
     1.5  
     1.6        case msg: BufferUpdate
     1.7 -      if msg.getWhat == BufferUpdate.PROPERTIES_CHANGED =>
     1.8 +      if msg.getWhat == BufferUpdate.LOADED =>
     1.9  
    1.10          val buffer = msg.getBuffer
    1.11          if (buffer != null && Isabelle.session.is_ready)