src/Pure/General/swing_thread.scala
changeset 34217 67e1ac2d3b2c
parent 34026 0cb44ac299f8
child 34299 68716caa7745
--- a/src/Pure/General/swing_thread.scala	Thu Dec 31 23:47:09 2009 +0100
+++ b/src/Pure/General/swing_thread.scala	Fri Jan 01 21:26:02 2010 +0100
@@ -10,8 +10,6 @@
 import javax.swing.{SwingUtilities, Timer}
 import java.awt.event.{ActionListener, ActionEvent}
 
-import scala.actors.{Future, Futures}
-
 
 object Swing_Thread
 {
@@ -31,8 +29,7 @@
     result.get
   }
 
-  def future[A](body: => A): Future[A] =
-    Futures.future(now(body))
+  def future[A](body: => A): Future[A] = Future.fork { now(body) }
 
   def later(body: => Unit) {
     if (SwingUtilities.isEventDispatchThread()) body