Edouard Tisserant [Fri, 24 Jun 2022 10:46:26 +0200] rev 3524
SVGHMI: force initial state of Display widget to empty string.
Edouard Tisserant [Fri, 24 Jun 2022 09:24:19 +0200] rev 3523
SVGHMI: set initial displayed value of input widget to empty string.
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.