Document.async_state: some attempts to make this more robust wrt. cancelation of the main transaction -- avoid confusing feedback about pending forks;
1.1 --- a/src/Pure/PIDE/document.ML Wed Sep 15 16:04:40 2010 +0200
1.2 +++ b/src/Pure/PIDE/document.ML Wed Sep 15 16:06:52 2010 +0200
1.3 @@ -204,10 +204,10 @@
1.4 fun async_state tr st =
1.5 if Toplevel.print_of tr then
1.6 ignore
1.7 - (Future.fork
1.8 + (Future.fork_group (Task_Queue.new_group NONE)
1.9 (fn () =>
1.10 Toplevel.setmp_thread_position tr
1.11 - (fn () => Future.status (fn () => Toplevel.print_state false st)) ()))
1.12 + (fn () => Toplevel.print_state false st) ()))
1.13 else ();
1.14
1.15 in