# HG changeset patch
# User wenzelm
# Date 1608584619 -3600
# Node ID 315f9b4f9e7a55df12a52e42a246b4d49a7510be
# Parent  3afd293347cce47bcc622d245de298d63e190cb2
tuned signature;

diff -r 3afd293347cc -r 315f9b4f9e7a src/Pure/GUI/gui.scala
--- a/src/Pure/GUI/gui.scala	Mon Dec 21 21:56:20 2020 +0100
+++ b/src/Pure/GUI/gui.scala	Mon Dec 21 22:03:39 2020 +0100
@@ -35,13 +35,13 @@
 
   def init_laf(): Unit = UIManager.setLookAndFeel(get_laf())
 
+  def current_laf(): String = UIManager.getLookAndFeel.getClass.getName()
+
   def is_macos_laf(): Boolean =
-    Platform.is_macos &&
-    UIManager.getSystemLookAndFeelClassName() == UIManager.getLookAndFeel.getClass.getName
+    Platform.is_macos && UIManager.getSystemLookAndFeelClassName() == current_laf()
 
   def is_windows_laf(): Boolean =
-    Platform.is_windows &&
-    UIManager.getSystemLookAndFeelClassName() == UIManager.getLookAndFeel.getClass.getName
+    Platform.is_windows && UIManager.getSystemLookAndFeelClassName() == current_laf()
 
 
   /* plain focus traversal, notably for text fields */