# HG changeset patch
# User wenzelm
# Date 1314628131 -7200
# Node ID 63d460db4919f94385d214580c7639c4c6ba855d
# Parent  bd91b77c4cd69f5ee7ece54b7239cc233f76e2a0
invoke in Swing thread to make double sure;

diff -r bd91b77c4cd6 -r 63d460db4919 src/Pure/System/swing_thread.scala
--- a/src/Pure/System/swing_thread.scala	Sun Aug 28 20:56:49 2011 -0700
+++ b/src/Pure/System/swing_thread.scala	Mon Aug 29 16:28:51 2011 +0200
@@ -52,7 +52,7 @@
     val timer = new Timer(time.ms.toInt, listener)
     timer.setRepeats(false)
 
-    def invoke() { if (first) timer.start() else timer.restart() }
+    def invoke() { now { if (first) timer.start() else timer.restart() } }
     invoke _
   }