--- a/src/Tools/jEdit/src/plugin.scala Wed Mar 14 14:49:43 2012 +0100
+++ b/src/Tools/jEdit/src/plugin.scala Wed Mar 14 15:09:33 2012 +0100
@@ -386,7 +386,7 @@
case phase: Session.Phase =>
phase match {
case Session.Failed =>
- Swing_Thread.now {
+ Swing_Thread.later {
val text = new scala.swing.TextArea(Isabelle.session.current_syslog())
text.editable = false
Library.error_dialog(jEdit.getActiveView, "Failed to start Isabelle process", text)
@@ -445,7 +445,7 @@
}
case msg: PropertiesChanged =>
- Swing_Thread.now { Isabelle.setup_tooltips() }
+ Isabelle.setup_tooltips()
Isabelle.session.global_settings.event(Session.Global_Settings)
case _ =>