# HG changeset patch
# User wenzelm
# Date 1744712873 -7200
# Node ID b572e7324bfb71c70e5064944a23a9c761caa8b9
# Parent  04f4b6e556209e5f595ba79846c5a1d2b96d4a1e
update to flatlaf-3.6, with native library support on all platforms;

diff -r 04f4b6e55620 -r b572e7324bfb Admin/components/components.sha1
--- 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
diff -r 04f4b6e55620 -r b572e7324bfb Admin/components/main
--- 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
diff -r 04f4b6e55620 -r b572e7324bfb NEWS
--- 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 ***
 
diff -r 04f4b6e55620 -r b572e7324bfb src/Pure/Admin/component_flatlaf.scala
--- 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,
diff -r 04f4b6e55620 -r b572e7324bfb src/Pure/GUI/gui.scala
--- 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()