src/Pure/PIDE/protocol.ML

--- a/src/Pure/PIDE/protocol.ML	Mon Jun 29 19:27:07 2015 +0200
+++ b/src/Pure/PIDE/protocol.ML	Mon Jun 29 20:55:46 2015 +0200
@@ -94,7 +94,7 @@
             (singleton o Future.forks)
              {name = "Document.update/remove", group = NONE,
               deps = maps Future.group_snapshot (maps Execution.peek removed),
-              pri = 1, interrupts = false}
+              pri = Task_Queue.urgent_pri + 2, interrupts = false}
              (fn () => (Execution.purge removed; List.app Isabelle_Process.reset_tracing removed));
 
           val _ =