Sat, 24 Aug 2013 13:32:51 +0200 | wenzelm | more uniform treatment of Swing_Thread context switch: prefer asynchronous Swing_Thread.later from actor; | file | diff | annotate |
Thu, 27 Sep 2012 15:38:28 +0200 | wenzelm | eliminated obsolete HTML/CSS functionality; | file | diff | annotate |
Tue, 25 Sep 2012 12:17:58 +0200 | wenzelm | tuned; | file | diff | annotate |
Fri, 27 Jul 2012 14:22:32 +0200 | wenzelm | tuned signature; | file | diff | annotate |
Tue, 29 May 2012 16:39:42 +0200 | wenzelm | separate README dockable, which allows to make it more prominent first and remove it later; | file | diff | annotate |