| Fri, 24 Jun 2022 09:24:19 +0200 | Edouard Tisserant | SVGHMI: set initial displayed value of input widget to empty string. | changeset | files |
| 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. | changeset | files |