beremiz
Clone
Summary
Browse
Changes
Graph
SVGHMI: add visible feedback to Jump widget when clicked/touched
2022-09-29, Edouard Tisserant
dfcd13683362
SVGHMI: add visible feedback to Jump widget when clicked/touched
<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=""/>