# HG changeset patch
# User wenzelm
# Date 1689016013 -7200
# Node ID 98c53bcb9f07f0eca186fd3f47cf361f5076bd50
# Parent  865b44cbaad17be4e2383dd1d3f07ac09aaf23d7
update to flatlaf-2.6, which is the last release before recent moves towards 3.0 / 3.1 / 3.1.1;

diff -r 865b44cbaad1 -r 98c53bcb9f07 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Sun Jul 09 17:41:02 2023 +0200
+++ b/Admin/components/components.sha1	Mon Jul 10 21:06:53 2023 +0200
@@ -107,6 +107,7 @@
 9534b721b7b78344f3225067ee4df28a5440b87e flatlaf-1.6.4.tar.gz
 212a0f1f867511722024cc60156fd71872a16f92 flatlaf-1.6.tar.gz
 6d4dbb6f2bde5804298d9008e3edceb0b9ee20ae flatlaf-2.4.tar.gz
+31d6abd58a4c2f7522f14283dfe04e2801a6e828 flatlaf-2.6.tar.gz
 b1c40ce6c087da7e70e221ddd3fcadfa569acb2f foiltex-2.1.4b.tar.gz
 f339234ec18369679be0095264e0c0af7762f351 gnu-utils-20210414.tar.gz
 71259aa46134e6cf2c6473b4fc408051b3336490 gnu-utils-20211030.tar.gz
diff -r 865b44cbaad1 -r 98c53bcb9f07 Admin/components/main
--- a/Admin/components/main	Sun Jul 09 17:41:02 2023 +0200
+++ b/Admin/components/main	Mon Jul 10 21:06:53 2023 +0200
@@ -7,7 +7,7 @@
 e-2.6-1
 easychair-3.5
 eptcs-1.7.0
-flatlaf-2.4
+flatlaf-2.6
 foiltex-2.1.4b
 idea-icons-20210508
 isabelle_fonts-20211004