Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
handle potentially more approriate BufferUpdate.LOADED event;
authorwenzelm
Tue, 23 Aug 2011 21:14:59 +0200
changeset 44434 3b9b684bfa6f
parent 44433 9fbee4aab115
child 44435 d4c69d0bbd27
handle potentially more approriate BufferUpdate.LOADED event;
src/Tools/jEdit/src/plugin.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/plugin.scala	Mon Aug 22 23:39:05 2011 +0200
+++ b/src/Tools/jEdit/src/plugin.scala	Tue Aug 23 21:14:59 2011 +0200
@@ -409,7 +409,7 @@
           Isabelle.start_session()
 
       case msg: BufferUpdate
-      if msg.getWhat == BufferUpdate.PROPERTIES_CHANGED =>
+      if msg.getWhat == BufferUpdate.LOADED =>
 
         val buffer = msg.getBuffer
         if (buffer != null && Isabelle.session.is_ready)
isabelle