beremiz

SVGHMI: fix dropdown widget in case it is used as language selection widget

2022-05-25, Edouard Tisserant
efa45e7cb04b
SVGHMI: fix dropdown widget in case it is used as language selection widget

global i18n definitions changed but widget wasn't updated accordingly.
<xsd:element name="Xenomai">
<xsd:complexType>
%(toolchain_gcc)s
<xsd:attribute name="XenoConfig" type="xsd:string" use="optional" default="xeno-config"/>
</xsd:complexType>
</xsd:element>