| 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; | file | diff | annotate |
| Thu, 24 May 2012 17:42:47 +0200 | wenzelm | more robust Swing_Thread.now: allow body to fail; | file | diff | annotate |
| Thu, 01 Mar 2012 14:12:18 +0100 | wenzelm | explicitly revoke delay, to avoid spurious timer events after deactivation of related components; | file | diff | annotate |
| Tue, 21 Feb 2012 16:42:57 +0100 | wenzelm | invoke later to reduce chance of causing deadlock; | file | diff | annotate |
| Tue, 29 Nov 2011 21:29:53 +0100 | wenzelm | separate compilation of PIDE vs. Pure sources, which enables independent Scala library; | file | diff | annotate |
| Mon, 28 Nov 2011 22:18:19 +0100 | wenzelm | explicit indication of modules for independent Scala library; | file | diff | annotate |
| Mon, 29 Aug 2011 16:28:51 +0200 | wenzelm | invoke in Swing thread to make double sure; | file | diff | annotate |