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
<?xml version='1.0' encoding='utf-8'?>
<CExtension CFLAGS="" LDFLAGS=""/>
