author | wenzelm |
Mon, 29 Aug 2011 16:28:51 +0200 | |
changeset 45444 | 63d460db4919 |
parent 45442 | bd91b77c4cd6 |
child 45445 | 51f8895b9ad9 |
1.1 --- a/src/Pure/System/swing_thread.scala Sun Aug 28 20:56:49 2011 -0700 1.2 +++ b/src/Pure/System/swing_thread.scala Mon Aug 29 16:28:51 2011 +0200 1.3 @@ -52,7 +52,7 @@ 1.4 val timer = new Timer(time.ms.toInt, listener) 1.5 timer.setRepeats(false) 1.6 1.7 - def invoke() { if (first) timer.start() else timer.restart() } 1.8 + def invoke() { now { if (first) timer.start() else timer.restart() } } 1.9 invoke _ 1.10 } 1.11