--- 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 =
--- 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())
}