wenzelm [Tue, 22 Apr 2025 22:21:48 +0200] rev 82567
tuned signature, following 1033ed5d3972;
wenzelm [Tue, 22 Apr 2025 22:20:30 +0200] rev 82566
update jedit component;
wenzelm [Tue, 22 Apr 2025 22:11:16 +0200] rev 82565
tuned signature -- requires to update jedit component;
wenzelm [Tue, 22 Apr 2025 22:10:59 +0200] rev 82564
tuned GUI -- requires to update jedit component;
wenzelm [Tue, 22 Apr 2025 21:30:23 +0200] rev 82563
more accurate GUI painting;
wenzelm [Tue, 22 Apr 2025 20:56:50 +0200] rev 82562
clarified GUI calculations for icons;
wenzelm [Tue, 22 Apr 2025 19:49:31 +0200] rev 82561
tuned;
wenzelm [Tue, 22 Apr 2025 17:49:56 +0200] rev 82560
more FlatLaf operations (following 35d176c50867) -- requires to update jedit component;
wenzelm [Tue, 22 Apr 2025 17:14:30 +0200] rev 82559
more accurate GUI property (amending 49ca1a40c04a) -- requires to update jedit component;
wenzelm [Tue, 22 Apr 2025 16:49:47 +0200] rev 82558
more accurate macOS L&F (see also efc58b56a6c7);