# HG changeset patch
# User wenzelm
# Date 1380045185 -7200
# Node ID b1bc857f2422e77d8a739047f375882d20981792
# Parent  a3177973ca5ede42ce8deaf3b40a7d516e35858d
simplified default L&F -- Nimbus should be always available and GTK+ is not fully working yet;

diff -r a3177973ca5e -r b1bc857f2422 src/Pure/GUI/gui.scala
--- a/src/Pure/GUI/gui.scala	Tue Sep 24 19:46:11 2013 +0200
+++ b/src/Pure/GUI/gui.scala	Tue Sep 24 19:53:05 2013 +0200
@@ -22,14 +22,11 @@
 
   def get_laf(): String =
   {
-    def laf(name: String): Option[String] =
-      UIManager.getInstalledLookAndFeels().find(_.getName == name).map(_.getClassName)
-
     if (Platform.is_windows || Platform.is_macos)
       UIManager.getSystemLookAndFeelClassName()
     else
-      laf("Nimbus") orElse laf("GTK+") getOrElse
-        UIManager.getCrossPlatformLookAndFeelClassName()
+      UIManager.getInstalledLookAndFeels().find(_.getName == "Nimbus").map(_.getClassName)
+        .getOrElse(UIManager.getCrossPlatformLookAndFeelClassName())
   }
 
   def init_laf(): Unit = UIManager.setLookAndFeel(get_laf())