1.1 --- a/src/Pure/System/swing_thread.scala	Tue Feb 21 16:28:18 2012 +0100
     1.2 +++ b/src/Pure/System/swing_thread.scala	Tue Feb 21 16:42:57 2012 +0100
     1.3 @@ -53,7 +53,7 @@
     1.4      val timer = new Timer(time.ms.toInt, listener)
     1.5      timer.setRepeats(false)
     1.6  
     1.7 -    def invoke() { now { if (first) timer.start() else timer.restart() } }
     1.8 +    def invoke() { later { if (first) timer.start() else timer.restart() } }
     1.9      invoke _
    1.10    }
    1.11