# HG changeset patch
# User wenzelm
# Date 1761149199 -7200
# Node ID 60538f07955d6ac2da667cc53dd41ced288852da
# Parent  48101e92d9636afb9dd9355912dfa340d926465e
update to flatlaf-3.6.2;

diff -r 48101e92d963 -r 60538f07955d Admin/components/components.sha1
--- a/Admin/components/components.sha1	Wed Oct 22 17:52:30 2025 +0200
+++ b/Admin/components/components.sha1	Wed Oct 22 18:06:39 2025 +0200
@@ -134,6 +134,7 @@
 7de5b13afd4d9ac09e4d591b63c1979b9276e4f6 flatlaf-3.6-1.tar.gz
 372ac19c1783af818591c379e1646a3fc1fbbfc2 flatlaf-3.6-2.tar.gz
 4fb3a47f1f4de350bbe330a9c9d185fbde3f3d87 flatlaf-3.6.1.tar.gz
+564f917b46e89ab7f7c37123ef527ad323bed89a flatlaf-3.6.2.tar.gz
 1363421c87dd24bbff318e37c4788ba0339db7ad flatlaf-3.6.tar.gz
 b1c40ce6c087da7e70e221ddd3fcadfa569acb2f foiltex-2.1.4b.tar.gz
 f339234ec18369679be0095264e0c0af7762f351 gnu-utils-20210414.tar.gz
diff -r 48101e92d963 -r 60538f07955d Admin/components/main
--- a/Admin/components/main	Wed Oct 22 17:52:30 2025 +0200
+++ b/Admin/components/main	Wed Oct 22 18:06:39 2025 +0200
@@ -9,7 +9,7 @@
 easychair-3.5
 eptcs-1.7.0
 find_facts_web-20251022
-flatlaf-3.6.1
+flatlaf-3.6.2
 foiltex-2.1.4b
 isabelle_fonts-20241227
 isabelle_setup-20250613
diff -r 48101e92d963 -r 60538f07955d src/Pure/Admin/component_flatlaf.scala
--- a/src/Pure/Admin/component_flatlaf.scala	Wed Oct 22 17:52:30 2025 +0200
+++ b/src/Pure/Admin/component_flatlaf.scala	Wed Oct 22 18:06:39 2025 +0200
@@ -32,7 +32,7 @@
   /* build flatlaf */
 
   val default_download_url = "https://repo1.maven.org/maven2/com/formdev"
-  val default_version = "3.6.1"
+  val default_version = "3.6.2"
 
   def build_flatlaf(
     target_dir: Path = Path.current,