beremiz

SVGHMI: fix double-dispatch happening when using low widget update frequency on variable already being updated with high frequency by other widgets.

2022-11-25, Edouard Tisserant
6dc619fa28aa
SVGHMI: fix double-dispatch happening when using low widget update frequency on variable already being updated with high frequency by other widgets.
<xsd:element name="Win32">
<xsd:complexType>
%(toolchain_gcc)s
</xsd:complexType>
</xsd:element>