# HG changeset patch
# User wenzelm
# Date 1745329243 -7200
# Node ID fa069e15c8daeb5d278afec46bd2ada090e77a6c
# Parent  42ea1a06e56ee4f6fa313428a3113cc642d4bc61
clarified signature;

diff -r 42ea1a06e56e -r fa069e15c8da src/Pure/GUI/gui.scala
--- a/src/Pure/GUI/gui.scala	Thu Apr 17 00:29:13 2025 +0200
+++ b/src/Pure/GUI/gui.scala	Tue Apr 22 15:40:43 2025 +0200
@@ -26,7 +26,7 @@
 
   def current_laf(): String = UIManager.getLookAndFeel.getClass.getName()
 
-  def is_macos_laf: Boolean =
+  def is_macos_laf(): Boolean =
     Platform.is_macos && UIManager.getSystemLookAndFeelClassName() == current_laf()
 
   class Look_And_Feel(laf: LookAndFeel) extends Isabelle_System.Service {
diff -r 42ea1a06e56e -r fa069e15c8da src/Pure/GUI/tree_view.scala
--- a/src/Pure/GUI/tree_view.scala	Thu Apr 17 00:29:13 2025 +0200
+++ b/src/Pure/GUI/tree_view.scala	Tue Apr 22 15:40:43 2025 +0200
@@ -80,7 +80,7 @@
   }
 
   // follow jEdit
-  if (!GUI.is_macos_laf) {
+  if (!GUI.is_macos_laf()) {
     putClientProperty("JTree.lineStyle", "Angled")
   }
 }
diff -r 42ea1a06e56e -r fa069e15c8da src/Tools/jEdit/src/completion_popup.scala
--- a/src/Tools/jEdit/src/completion_popup.scala	Thu Apr 17 00:29:13 2025 +0200
+++ b/src/Tools/jEdit/src/completion_popup.scala	Tue Apr 22 15:40:43 2025 +0200
@@ -403,7 +403,7 @@
     text_field =>
 
     // see https://forums.oracle.com/thread/1361677
-    if (GUI.is_macos_laf) text_field.setCaret(new DefaultCaret)
+    if (GUI.is_macos_laf()) text_field.setCaret(new DefaultCaret)
 
     // owned by GUI thread
     private var completion_popup: Option[Completion_Popup] = None