beremiz

SVGHMI: Add button element to HMI:DropDown, also fix problem with computed box margins.
svghmi
2020-04-14, Edouard Tisserant
90f9d9782632
SVGHMI: Add button element to HMI:DropDown, also fix problem with computed box margins.
<xsd:element name="Linux">
<xsd:complexType>
%(toolchain_gcc)s
</xsd:complexType>
</xsd:element>