# HG changeset patch
# User wenzelm
# Date 1745331568 -7200
# Node ID a387b02b53202ae5b0e4bbf25bdd1530838e2023
# Parent  4f7b5d76340f688f2b80d941210c36a710430aca
provide FlatMac themes (see also FlatLaf 3.0);

diff -r 4f7b5d76340f -r a387b02b5320 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Tue Apr 22 16:07:18 2025 +0200
+++ b/Admin/components/components.sha1	Tue Apr 22 16:19:28 2025 +0200
@@ -130,6 +130,7 @@
 95aff7a320715c473ea63294a288ba30a71dec88 flatlaf-3.5.4-1.tar.gz
 a93a98c80536a6984db118e129b1b3a778c700ce flatlaf-3.5.4.tar.gz
 7de5b13afd4d9ac09e4d591b63c1979b9276e4f6 flatlaf-3.6-1.tar.gz
+372ac19c1783af818591c379e1646a3fc1fbbfc2 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 4f7b5d76340f -r a387b02b5320 Admin/components/main
--- a/Admin/components/main	Tue Apr 22 16:07:18 2025 +0200
+++ b/Admin/components/main	Tue Apr 22 16:19:28 2025 +0200
@@ -9,7 +9,7 @@
 easychair-3.5
 eptcs-1.7.0
 find_facts_web-20250223
-flatlaf-3.6-1
+flatlaf-3.6-2
 foiltex-2.1.4b
 isabelle_fonts-20241227
 isabelle_setup-20240327
diff -r 4f7b5d76340f -r a387b02b5320 src/Pure/Admin/component_flatlaf.scala
--- a/src/Pure/Admin/component_flatlaf.scala	Tue Apr 22 16:07:18 2025 +0200
+++ b/src/Pure/Admin/component_flatlaf.scala	Tue Apr 22 16:19:28 2025 +0200
@@ -75,6 +75,8 @@
 
 isabelle_scala_service "isabelle.FlatLightLaf"
 isabelle_scala_service "isabelle.FlatDarkLaf"
+isabelle_scala_service "isabelle.FlatMacLightLaf"
+isabelle_scala_service "isabelle.FlatMacDarkLaf"
 """)
 
 
diff -r 4f7b5d76340f -r a387b02b5320 src/Pure/GUI/gui.scala
--- a/src/Pure/GUI/gui.scala	Tue Apr 22 16:07:18 2025 +0200
+++ b/src/Pure/GUI/gui.scala	Tue Apr 22 16:19:28 2025 +0200
@@ -544,3 +544,5 @@
 
 class FlatLightLaf extends GUI.Look_And_Feel(new flatlaf.FlatLightLaf)
 class FlatDarkLaf extends GUI.Look_And_Feel(new flatlaf.FlatDarkLaf)
+class FlatMacLightLaf extends GUI.Look_And_Feel(new flatlaf.themes.FlatMacLightLaf)
+class FlatMacDarkLaf extends GUI.Look_And_Feel(new flatlaf.themes.FlatMacDarkLaf)