--- a/src/Pure/Tools/build_dialog.scala Sat Jan 12 15:00:48 2013 +0100
+++ b/src/Pure/Tools/build_dialog.scala Sat Jan 12 16:43:38 2013 +0100
@@ -83,8 +83,10 @@
val progress = new Build.Progress
{
- override def theory(name: String): Unit = echo(" theory " + name)
- override def echo(msg: String): Unit = Swing_Thread.now { text.append(msg + "\n") }
+ override def echo(msg: String): Unit =
+ Swing_Thread.later { text.append(msg + "\n") }
+ override def theory(session: String, theory: String): Unit =
+ echo(session + ": theory " + theory)
override def stopped: Boolean =
Swing_Thread.now { val b = is_stopped; is_stopped = false; b }
}