--- a/src/Tools/jEdit/src/raw_output_dockable.scala Wed Mar 14 14:49:43 2012 +0100
+++ b/src/Tools/jEdit/src/raw_output_dockable.scala Wed Mar 14 15:09:33 2012 +0100
@@ -31,7 +31,7 @@
react {
case output: Isabelle_Process.Output =>
if (output.is_stdout || output.is_stderr)
- Swing_Thread.now { text_area.append(XML.content(output.message).mkString) }
+ Swing_Thread.later { text_area.append(XML.content(output.message).mkString) }
case bad => System.err.println("Raw_Output_Dockable: ignoring bad message " + bad)
}