# HG changeset patch
# User wenzelm
# Date 1329838977 -3600
# Node ID 41701fce8ac795d272656796880ad13c75e4a6bd
# Parent  8c4c5c8dcf7a5e77bc5da92f47f12826b4054873
invoke later to reduce chance of causing deadlock;

diff -r 8c4c5c8dcf7a -r 41701fce8ac7 src/Pure/System/swing_thread.scala
--- a/src/Pure/System/swing_thread.scala	Tue Feb 21 16:28:18 2012 +0100
+++ b/src/Pure/System/swing_thread.scala	Tue Feb 21 16:42:57 2012 +0100
@@ -53,7 +53,7 @@
     val timer = new Timer(time.ms.toInt, listener)
     timer.setRepeats(false)
 
-    def invoke() { now { if (first) timer.start() else timer.restart() } }
+    def invoke() { later { if (first) timer.start() else timer.restart() } }
     invoke _
   }