Fri, 24 Jun 2022 10:46:26 +0200 Edouard Tisserant SVGHMI: force initial state of Display widget to empty string.
Fri, 24 Jun 2022 09:24:19 +0200 Edouard Tisserant SVGHMI: set initial displayed value of input widget to empty string.
Fri, 24 Jun 2022 09:21:24 +0200 Edouard Tisserant SVGHMI: add warning_labels, same as optional_labels but emits warnings at build time if element is missing.
Wed, 22 Jun 2022 11:55:38 +0200 Edouard Tisserant SVGHMI: update generated XSLT files
Wed, 22 Jun 2022 11:48:40 +0200 Edouard Tisserant SVGHMI: generalize detach/re-attach of binary choices for ToggleButton, PushButton, Button and Keypad's Shit and CapsLock.
Mon, 20 Jun 2022 09:30:11 +0200 Edouard Tisserant SVGHMI: also use order-preserving detach re-attach for hiding and showing active and inactive state.
Mon, 20 Jun 2022 09:19:56 +0200 Edouard Tisserant SVGHMI: fix Switch widget so that order of choices elements is preserved across detaching and re-attaching.