Edouard Tisserant [Fri, 24 Jun 2022 09:21:24 +0200] rev 3522
SVGHMI: add warning_labels, same as optional_labels but emits warnings at build time if element is missing.
Edouard Tisserant [Wed, 22 Jun 2022 11:55:38 +0200] rev 3521
SVGHMI: update generated XSLT files
Edouard Tisserant [Wed, 22 Jun 2022 11:48:40 +0200] rev 3520
SVGHMI: generalize detach/re-attach of binary choices for ToggleButton, PushButton, Button and Keypad's Shit and CapsLock.