Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
simplified default L&F -- Nimbus should be always available and GTK+ is not fully working yet;
authorwenzelm
Tue, 24 Sep 2013 19:53:05 +0200
changeset 53850 b1bc857f2422
parent 53849 a3177973ca5e
child 53851 86c8f15afd88
simplified default L&F -- Nimbus should be always available and GTK+ is not fully working yet;
src/Pure/GUI/gui.scala file | annotate | diff | comparison | revisions 
--- 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())
isabelle