src/Pure/GUI/gui.scala

--- a/src/Pure/GUI/gui.scala	Mon Nov 04 11:21:19 2024 +0100
+++ b/src/Pure/GUI/gui.scala	Mon Nov 04 12:22:24 2024 +0100
@@ -25,10 +25,10 @@
 
   def init_laf(): Unit = com.formdev.flatlaf.FlatLightLaf.setup()
 
-  def current_laf: String = UIManager.getLookAndFeel.getClass.getName()
+  def current_laf(): String = UIManager.getLookAndFeel.getClass.getName()
 
   def is_macos_laf: Boolean =
-    Platform.is_macos && UIManager.getSystemLookAndFeelClassName() == current_laf
+    Platform.is_macos && UIManager.getSystemLookAndFeelClassName() == current_laf()
 
   class Look_And_Feel(laf: LookAndFeel) extends Isabelle_System.Service {
     def info: UIManager.LookAndFeelInfo =