diff -r df8c7dc30214 -r 8662b9b1f123 src/Pure/System/swing_thread.scala
--- a/src/Pure/System/swing_thread.scala	Wed Dec 01 15:38:05 2010 +0100
+++ b/src/Pure/System/swing_thread.scala	Wed Dec 01 20:34:40 2010 +0100
@@ -44,12 +44,12 @@
 
   /* delayed actions */
 
-  private def delayed_action(first: Boolean)(time_span: Int)(action: => Unit): () => Unit =
+  private def delayed_action(first: Boolean)(time: Time)(action: => Unit): () => Unit =
   {
     val listener = new ActionListener {
       override def actionPerformed(e: ActionEvent) { Swing_Thread.assert(); action }
     }
-    val timer = new Timer(time_span, listener)
+    val timer = new Timer(time.ms.toInt, listener)
     timer.setRepeats(false)
 
     def invoke() { if (first) timer.start() else timer.restart() }