beremiz

SVGHMI: fix Switch widget so that order of choices elements is preserved across detaching and re-attaching.

2022-06-20, Edouard Tisserant
c663d1f9f03b
SVGHMI: fix Switch widget so that order of choices elements is preserved across detaching and re-attaching.
<xsd:attribute name="Compiler" type="xsd:string" use="optional" default="gcc"/>
<xsd:attribute name="CFLAGS" type="xsd:string" use="optional" default=""/>
<xsd:attribute name="Linker" type="xsd:string" use="optional" default="gcc"/>
<xsd:attribute name="LDFLAGS" type="xsd:string" use="optional" default=""/>