src/Pure/GUI/gui.scala
changeset 61529 82fc5a6231a2
parent 61523 9ad1fccbba96
child 61742 fd3b214b0979
--- a/src/Pure/GUI/gui.scala	Sat Oct 31 14:16:29 2015 +0100
+++ b/src/Pure/GUI/gui.scala	Sat Oct 31 14:38:48 2015 +0100
@@ -34,8 +34,7 @@
       if (Platform.is_windows || Platform.is_macos)
         UIManager.getSystemLookAndFeelClassName()
       else
-        find_laf("Nimbus") getOrElse
-          UIManager.getCrossPlatformLookAndFeelClassName()
+        UIManager.getCrossPlatformLookAndFeelClassName()
     }
 
   def init_laf(): Unit = UIManager.setLookAndFeel(get_laf())