# HG changeset patch
# User wenzelm
# Date 1374329783 -7200
# Node ID cd3ce844248fcef13de8075aef9b5828623c9654
# Parent  43e48bb554ba43e02e2fbbc70669a0467a39cdfd
print_state at high priority -- fast and important;

diff -r 43e48bb554ba -r cd3ce844248f src/Pure/PIDE/command.ML
--- a/src/Pure/PIDE/command.ML	Fri Jul 19 23:29:43 2013 +0200
+++ b/src/Pure/PIDE/command.ML	Sat Jul 20 16:16:23 2013 +0200
@@ -285,7 +285,7 @@
 val _ =
   print_function "print_state"
     (fn {command_name} =>
-      SOME {delay = Time.zeroTime, pri = 0, persistent = true,
+      SOME {delay = Time.zeroTime, pri = 1, persistent = true,
         print_fn = fn tr => fn st' =>
           let
             val is_init = Keyword.is_theory_begin command_name;