src/Pure/System/swing_thread.scala
Fri, 25 May 2012 13:19:10 +0200 wenzelm further attempts to simplify/robustify Swing_Thread.now, to avoid spurious physical race conditions on Java 6 / Mac OS X;
Thu, 24 May 2012 17:42:47 +0200 wenzelm more robust Swing_Thread.now: allow body to fail;
Thu, 01 Mar 2012 14:12:18 +0100 wenzelm explicitly revoke delay, to avoid spurious timer events after deactivation of related components;
less more (0) -3 tip