src/Pure/GUI/gui.scala
changeset 60998 42cebb02b5ae
parent 60033 9a1d40876e9f
child 61523 9ad1fccbba96
--- a/src/Pure/GUI/gui.scala	Fri Aug 21 17:59:54 2015 +0200
+++ b/src/Pure/GUI/gui.scala	Fri Aug 21 18:46:12 2015 +0200
@@ -44,6 +44,10 @@
     Platform.is_macos &&
     UIManager.getSystemLookAndFeelClassName() == UIManager.getLookAndFeel.getClass.getName
 
+  def is_windows_laf(): Boolean =
+    Platform.is_windows &&
+    UIManager.getSystemLookAndFeelClassName() == UIManager.getLookAndFeel.getClass.getName
+
 
   /* plain focus traversal, notably for text fields */