src/Tools/jEdit/src/plugin.scala
changeset 46918 1752164d916b
parent 46771 06a9b24c4a36
child 46997 395b7277ed76
--- 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 _ =>