- SVGHMI: add warning_labels, same as optional_labels but emits warnings at build time if element is missing. 2022-06-24, by Edouard Tisserant
- SVGHMI: update generated XSLT files 2022-06-22, by Edouard Tisserant
- SVGHMI: generalize detach/re-attach of binary choices for ToggleButton, PushButton, Button and Keypad's Shit and CapsLock. 2022-06-22, by Edouard Tisserant
- SVGHMI: also use order-preserving detach re-attach for hiding and showing active and inactive state. 2022-06-20, by Edouard Tisserant
- SVGHMI: fix Switch widget so that order of choices elements is preserved across detaching and re-attaching. 2022-06-20, by Edouard Tisserant
- SVGHMI: update generated xslt files 2022-06-15, by Edouard Tisserant
- SVGHMI: nasty scope shadowing bug... was making funny recursion, leading to really slow interaction. 2022-06-15, by Edouard Tisserant