# HG changeset patch
# User wenzelm
# Date 1610226870 -3600
# Node ID 9480a9efe19e06f1a20c8431994263b99db530e1
# Parent  6a6e987552c7260d4747d745b5d3dbd522ec8cc2
proper size of buttons in Symbols dockable, e.g. \<A> 0x01d49c vs. \<B> 0x00212c;

diff -r 6a6e987552c7 -r 9480a9efe19e Admin/components/components.sha1
--- a/Admin/components/components.sha1	Sat Jan 09 20:17:56 2021 +0100
+++ b/Admin/components/components.sha1	Sat Jan 09 22:14:30 2021 +0100
@@ -80,6 +80,7 @@
 8b9bffd10e396d965e815418295f2ee2849bea75  exec_process-1.0.2.tar.gz
 e6aada354da11e533af2dee3dcdd96c06479b053  exec_process-1.0.3.tar.gz
 ae7ee5becb26512f18c609e83b34612918bae5f0  exec_process-1.0.tar.gz
+7a4b46752aa60c1ee6c53a2c128dedc8255a4568  flatlaf-0.46-1.tar.gz
 ed5cbc216389b655dac21a19e770a02a96867b85  flatlaf-0.46.tar.gz
 683acd94761ef460cca1a628f650355370de5afb  hol-light-bundle-0.5-126.tar.gz
 20b53cfc3ffc5b15c1eabc91846915b49b4c0367  isabelle_fonts-20151021.tar.gz
diff -r 6a6e987552c7 -r 9480a9efe19e Admin/components/main
--- a/Admin/components/main	Sat Jan 09 20:17:56 2021 +0100
+++ b/Admin/components/main	Sat Jan 09 22:14:30 2021 +0100
@@ -4,7 +4,7 @@
 csdp-6.1.1
 cvc4-1.8
 e-2.5-1
-flatlaf-0.46
+flatlaf-0.46-1
 isabelle_fonts-20190717
 jdk-15.0.1+9
 jedit_build-20201223