Fri, 05 Feb 2010 19:48:13 +0100 | wenzelm | try "GTK+" as well -- note that "Nimbus" is unavailable in versions of OpenJDK; | file | diff | annotate |
Sun, 28 Jun 2009 16:46:00 +0200 | wenzelm | sane platform look-and-feel; | file | diff | annotate |
Sun, 28 Jun 2009 14:27:42 +0200 | wenzelm | moved platform identification to platform.scala; | file | diff | annotate |