HGKeeper

5f756332ada1

SVGHMI: Fix behaviour of Jump widget, that wasn't displaying "disabled" state in some cases.

<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=""/>