--- 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.
--- 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.
--- 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
--- 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