--- a/Admin/components/components.sha1 Mon Apr 14 20:42:03 2025 +0200
+++ b/Admin/components/components.sha1 Tue Apr 15 12:27:53 2025 +0200
@@ -129,6 +129,7 @@
31d6abd58a4c2f7522f14283dfe04e2801a6e828 flatlaf-2.6.tar.gz
95aff7a320715c473ea63294a288ba30a71dec88 flatlaf-3.5.4-1.tar.gz
a93a98c80536a6984db118e129b1b3a778c700ce flatlaf-3.5.4.tar.gz
+1363421c87dd24bbff318e37c4788ba0339db7ad flatlaf-3.6.tar.gz
b1c40ce6c087da7e70e221ddd3fcadfa569acb2f foiltex-2.1.4b.tar.gz
f339234ec18369679be0095264e0c0af7762f351 gnu-utils-20210414.tar.gz
71259aa46134e6cf2c6473b4fc408051b3336490 gnu-utils-20211030.tar.gz
--- a/Admin/components/main Mon Apr 14 20:42:03 2025 +0200
+++ b/Admin/components/main Tue Apr 15 12:27:53 2025 +0200
@@ -9,7 +9,7 @@
easychair-3.5
eptcs-1.7.0
find_facts_web-20250223
-flatlaf-3.5.4-1
+flatlaf-3.6
foiltex-2.1.4b
idea-icons-20210508
isabelle_fonts-20241227
--- a/NEWS Mon Apr 14 20:42:03 2025 +0200
+++ b/NEWS Tue Apr 15 12:27:53 2025 +0200
@@ -37,6 +37,9 @@
longer included. The old-fashioned toolbar, with its old Navigator
icons, is now disabled by default.
+* Update GUI look-and-feel to current FlatLaf 3.6, with native library
+support on all Isabelle platforms (now including arm64-linux).
+
*** HOL ***
--- a/src/Pure/Admin/component_flatlaf.scala Mon Apr 14 20:42:03 2025 +0200
+++ b/src/Pure/Admin/component_flatlaf.scala Tue Apr 15 12:27:53 2025 +0200
@@ -16,6 +16,7 @@
List(
Platform_Info("flatlaf-{V}-macos-arm64.dylib"),
Platform_Info("flatlaf-{V}-macos-x86_64.dylib"),
+ Platform_Info("flatlaf-{V}-linux-arm64.so"),
Platform_Info("flatlaf-{V}-linux-x86_64.so"),
Platform_Info("flatlaf-{V}-windows-x86_64.dll", exe = true))
@@ -23,7 +24,7 @@
/* build flatlaf */
val default_download_url = "https://repo1.maven.org/maven2/com/formdev/flatlaf"
- val default_version = "3.5.4"
+ val default_version = "3.6"
def build_flatlaf(
target_dir: Path = Path.current,
--- a/src/Pure/GUI/gui.scala Mon Apr 14 20:42:03 2025 +0200
+++ b/src/Pure/GUI/gui.scala Tue Apr 15 12:27:53 2025 +0200
@@ -22,11 +22,7 @@
object GUI {
/* Swing look-and-feel */
- def init_laf(): Unit = {
- val prop = com.formdev.flatlaf.FlatSystemProperties.USE_NATIVE_LIBRARY
- System.setProperty(prop, System.getProperty(prop, "false"))
- com.formdev.flatlaf.FlatLightLaf.setup()
- }
+ def init_laf(): Unit = com.formdev.flatlaf.FlatLightLaf.setup()
def current_laf(): String = UIManager.getLookAndFeel.getClass.getName()