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