# HG changeset patch
# User wenzelm
# Date 1610147512 -3600
# Node ID efc58b56a6c78c5b21e9f275bb9182990b8acc49
# Parent  01f4965fd09bbd467e3f723b8c9c9fb2679cd3b2
clarified default L&F;

diff -r 01f4965fd09b -r efc58b56a6c7 ANNOUNCE
--- a/ANNOUNCE	Fri Jan 08 23:59:28 2021 +0100
+++ b/ANNOUNCE	Sat Jan 09 00:11:52 2021 +0100
@@ -12,7 +12,7 @@
 
 * Isabelle/jEdit: improved monitoring of Java and ML process.
 
-* Isabelle/jEdit: various IDE feedback improvements.
+* Isabelle/jEdit: look-and-feel and IDE feedback improvements.
 
 * Pure: improved handling of named contexts and local syntax bundles.
 
diff -r 01f4965fd09b -r efc58b56a6c7 NEWS
--- a/NEWS	Fri Jan 08 23:59:28 2021 +0100
+++ b/NEWS	Sat Jan 09 00:11:52 2021 +0100
@@ -27,6 +27,9 @@
 
 *** Isabelle/jEdit Prover IDE ***
 
+* Improved GUI look-and-feel: the portable and scalable FlatLightLaf is
+used by default on all platforms (appearance similar to IntelliJ IDEA).
+
 * Improved markup for theory header imports: hyperlinks for theory files
 work without formal checking of content.
 
diff -r 01f4965fd09b -r efc58b56a6c7 src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Fri Jan 08 23:59:28 2021 +0100
+++ b/src/Pure/Admin/build_release.scala	Sat Jan 09 00:11:52 2021 +0100
@@ -642,8 +642,7 @@
 
           case Platform.Family.macos =>
             File.change(isabelle_target + jedit_props,
-              _.replaceAll("lookAndFeel=.*", "lookAndFeel=com.apple.laf.AquaLookAndFeel")
-               .replaceAll("delete-line.shortcut=.*", "delete-line.shortcut=C+d")
+              _.replaceAll("delete-line.shortcut=.*", "delete-line.shortcut=C+d")
                .replaceAll("delete.shortcut2=.*", "delete.shortcut2=A+d"))
 
 
@@ -692,9 +691,7 @@
 
           case Platform.Family.windows =>
             File.change(isabelle_target + jedit_props,
-              _.replaceAll("lookAndFeel=.*",
-                  "lookAndFeel=com.sun.java.swing.plaf.windows.WindowsLookAndFeel")
-               .replaceAll("foldPainter=.*", "foldPainter=Square"))
+              _.replaceAll("foldPainter=.*", "foldPainter=Square"))
 
 
             // application launcher
diff -r 01f4965fd09b -r efc58b56a6c7 src/Tools/jEdit/src/jEdit.props
--- a/src/Tools/jEdit/src/jEdit.props	Fri Jan 08 23:59:28 2021 +0100
+++ b/src/Tools/jEdit/src/jEdit.props	Sat Jan 09 00:11:52 2021 +0100
@@ -269,7 +269,7 @@
 line-end.shortcut=END
 line-home.shortcut=HOME
 logo.icon.medium=32x32/apps/isabelle.gif
-lookAndFeel=javax.swing.plaf.metal.MetalLookAndFeel
+lookAndFeel=com.formdev.flatlaf.FlatLightLaf
 match-bracket.shortcut2=C+9
 metal.primary.font=Isabelle DejaVu Sans
 metal.primary.fontsize=12