beremiz

SVGHMI: Prevent excluded widget to appear in generated pages' widget list.
svghmi
2021-02-02, Edouard Tisserant
8094494113b6
SVGHMI: Prevent excluded widget to appear in generated pages' widget list.
<xsd:element name="Linux">
<xsd:complexType>
%(toolchain_gcc)s
</xsd:complexType>
</xsd:element>