beremiz

SVGHMI: optimize browser work by hiding (display:none) pages that are not displayed.
svghmi
2020-02-21, Edouard Tisserant
7c6050cde9e3
SVGHMI: optimize browser work by hiding (display:none) pages that are not displayed.
<xsd:element name="Linux">
<xsd:complexType>
%(toolchain_gcc)s
</xsd:complexType>
</xsd:element>