# HG changeset patch
# User wenzelm
# Date 1745333387 -7200
# Node ID 93ecc37141c4cc826db06ebda8ce77205f712e1c
# Parent  a387b02b53202ae5b0e4bbf25bdd1530838e2023
more accurate macOS L&F (see also efc58b56a6c7);

diff -r a387b02b5320 -r 93ecc37141c4 src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Tue Apr 22 16:19:28 2025 +0200
+++ b/src/Pure/Admin/build_release.scala	Tue Apr 22 16:49:47 2025 +0200
@@ -691,7 +691,8 @@
 
           case Platform.Family.macos =>
             File.change(isabelle_target + jedit_props) {
-              _.replaceAll("delete-line.shortcut=.*", "delete-line.shortcut=C+d")
+              _.replaceAll("lookAndFeel=.*", "lookAndFeel=com.formdev.flatlaf.themes.FlatMacLightLaf")
+               .replaceAll("delete-line.shortcut=.*", "delete-line.shortcut=C+d")
                .replaceAll("delete.shortcut2=.*", "delete.shortcut2=A+d")
             }