# HG changeset patch
# User wenzelm
# Date 1730719344 -3600
# Node ID fe32eaea366cffb299ddf0af0a20e04652a32f2a
# Parent  1baf5c35d5192d4cbc3e0d4cd5abd51662603782
clarified signature;

diff -r 1baf5c35d519 -r fe32eaea366c 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 =
diff -r 1baf5c35d519 -r fe32eaea366c src/Tools/jEdit/src/isabelle.scala
--- a/src/Tools/jEdit/src/isabelle.scala	Mon Nov 04 11:21:19 2024 +0100
+++ b/src/Tools/jEdit/src/isabelle.scala	Mon Nov 04 12:22:24 2024 +0100
@@ -592,5 +592,5 @@
   /* java monitor */
 
   def java_monitor(view: View): Unit =
-    Java_Monitor.java_monitor_external(view, look_and_feel = GUI.current_laf)
+    Java_Monitor.java_monitor_external(view, look_and_feel = GUI.current_laf())
 }