--- a/src/Tools/jEdit/src/session_dockable.scala Wed Mar 14 14:49:43 2012 +0100
+++ b/src/Tools/jEdit/src/session_dockable.scala Wed Mar 14 15:09:33 2012 +0100
@@ -175,13 +175,13 @@
react {
case output: Isabelle_Process.Output =>
if (output.is_syslog)
- Swing_Thread.now {
+ Swing_Thread.later {
val text = Isabelle.session.current_syslog()
if (text != syslog.text) syslog.text = text
}
case phase: Session.Phase =>
- Swing_Thread.now { session_phase.text = " " + phase.toString + " " }
+ Swing_Thread.later { session_phase.text = " " + phase.toString + " " }
case changed: Session.Commands_Changed => handle_update(Some(changed.nodes))