diff -r 55025bd6605f -r b7a62e7dec00 src/Pure/System/platform.scala
--- a/src/Pure/System/platform.scala	Mon May 10 17:29:19 2010 +0200
+++ b/src/Pure/System/platform.scala	Mon May 10 17:37:32 2010 +0200
@@ -58,12 +58,14 @@
   private def find_laf(name: String): Option[String] =
     UIManager.getInstalledLookAndFeels().find(_.getName == name).map(_.getClassName)
 
-  def look_and_feel(): String =
+  def get_laf(): String =
   {
     if (is_windows || is_macos) UIManager.getSystemLookAndFeelClassName()
     else
       find_laf("Nimbus") orElse find_laf("GTK+") getOrElse
       UIManager.getCrossPlatformLookAndFeelClassName()
   }
+
+  def init_laf(): Unit = UIManager.setLookAndFeel(get_laf())
 }