--- 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 {
--- 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")
}
}
--- 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