Sat, 09 Jan 2010 23:22:24 +0100 | wenzelm | Swing_Thread.future: plain Future.value if this is already Swing; | file | diff | annotate |
Fri, 01 Jan 2010 21:26:02 +0100 | wenzelm | Future values -- Scala version. | file | diff | annotate |
Tue, 08 Dec 2009 12:41:47 +0100 | wenzelm | added future; | file | diff | annotate |
Wed, 02 Sep 2009 22:12:20 +0200 | wenzelm | refined delay into delay_first/delay_last; | file | diff | annotate |
Wed, 02 Sep 2009 20:49:04 +0200 | wenzelm | explicit checks; | file | diff | annotate |
Sat, 04 Jul 2009 23:25:28 +0200 | wenzelm | renamed Delay to Swing_Thread.delay (action is executed within AWT thread!); | file | diff | annotate |
Tue, 30 Jun 2009 21:19:32 +0200 | wenzelm | renamed Swing to Swing_Thread, to avoid overlap with scala.swing.Swing; | file | diff | annotate | base |