src/Pure/GUI/gui.scala
changeset 53848 8d7029eb0c31
parent 53786 064cb0458071
child 53849 a3177973ca5e
--- a/src/Pure/GUI/gui.scala	Tue Sep 24 18:42:44 2013 +0200
+++ b/src/Pure/GUI/gui.scala	Tue Sep 24 19:41:14 2013 +0200
@@ -34,6 +34,9 @@
 
   def init_laf(): Unit = UIManager.setLookAndFeel(get_laf())
 
+  def is_macos_laf(): Boolean =
+    UIManager.getSystemLookAndFeelClassName() == UIManager.getLookAndFeel.getClass.getName
+
 
   /* simple dialogs */