wenzelm [Thu, 21 Aug 2025 20:53:05 +0200] rev 83025
more accessibility;
wenzelm [Thu, 21 Aug 2025 20:09:16 +0200] rev 83024
proper GUI.copy_font, following fd3b214b0979;
wenzelm [Thu, 21 Aug 2025 20:07:40 +0200] rev 83023
tuned;
wenzelm [Thu, 21 Aug 2025 19:55:30 +0200] rev 83022
support for javax.swing.JLabel.labelFor following the Java Swing Tutorial on Assistive Technologies, although it has no immediate impact on NVDA;
wenzelm [Thu, 21 Aug 2025 12:39:08 +0200] rev 83021
more robust: avoid division by zero;
wenzelm [Thu, 21 Aug 2025 12:11:38 +0200] rev 83020
pretty margin <= 0 means no margin;
haftmann [Thu, 21 Aug 2025 15:13:00 +0200] rev 83019
provide explicit attribute for singleton default equations
haftmann [Thu, 21 Aug 2025 12:09:06 +0200] rev 83018
make preprocessor setup confluent
haftmann [Wed, 20 Aug 2025 14:09:06 +0200] rev 83017
dropped unused operations
haftmann [Mon, 18 Aug 2025 22:03:04 +0200] rev 83016
prefer regular code declarations