src/Pure/General/swing_thread.scala
Wed, 02 Sep 2009 22:12:20 +0200 wenzelm refined delay into delay_first/delay_last;
Wed, 02 Sep 2009 20:49:04 +0200 wenzelm explicit checks;
Sat, 04 Jul 2009 23:25:28 +0200 wenzelm renamed Delay to Swing_Thread.delay (action is executed within AWT thread!);
Tue, 30 Jun 2009 21:19:32 +0200 wenzelm renamed Swing to Swing_Thread, to avoid overlap with scala.swing.Swing;
less more (0) tip