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.
proper platform-specific test;
authorwenzelm
Tue, 24 Sep 2013 19:46:11 +0200
changeset 53849 a3177973ca5e
parent 53848 8d7029eb0c31
child 53850 b1bc857f2422
proper platform-specific test;
src/Pure/GUI/gui.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/GUI/gui.scala	Tue Sep 24 19:41:14 2013 +0200
+++ b/src/Pure/GUI/gui.scala	Tue Sep 24 19:46:11 2013 +0200
@@ -35,6 +35,7 @@
   def init_laf(): Unit = UIManager.setLookAndFeel(get_laf())
 
   def is_macos_laf(): Boolean =
+    Platform.is_macos &&
     UIManager.getSystemLookAndFeelClassName() == UIManager.getLookAndFeel.getClass.getName
isabelle