# HG changeset patch
# User wenzelm
# Date 1265395693 -3600
# Node ID fbb40a1091ea9ae21de3e1dcbf3851cfc1c9a8c3
# Parent  31f8d9eaceffdcc3207f3698141fcc182c3ea84e
try "GTK+" as well -- note that "Nimbus" is unavailable in versions of OpenJDK;

diff -r 31f8d9eaceff -r fbb40a1091ea src/Pure/System/platform.scala
--- a/src/Pure/System/platform.scala	Fri Feb 05 14:39:02 2010 +0100
+++ b/src/Pure/System/platform.scala	Fri Feb 05 19:48:13 2010 +0100
@@ -55,15 +55,15 @@
 
   /* Swing look-and-feel */
 
+  private def find_laf(name: String): Option[String] =
+    UIManager.getInstalledLookAndFeels().find(_.getName == name).map(_.getClassName)
+
   def look_and_feel(): String =
   {
     if (is_windows || is_macos) UIManager.getSystemLookAndFeelClassName()
-    else {
-      UIManager.getInstalledLookAndFeels().find(laf => laf.getName == "Nimbus") match {
-        case None => UIManager.getCrossPlatformLookAndFeelClassName()
-        case Some(laf) => laf.getClassName
-      }
-    }
+    else
+      find_laf("Nimbus") orElse find_laf("GTK+") getOrElse
+      UIManager.getCrossPlatformLookAndFeelClassName()
   }
 }