beremiz

beremiz/exemples/python/py_ext_0@py_ext/
SVGHMI: add visible feedback to Jump widget when clicked/touched

2022-09-29, Edouard Tisserant
dfcd13683362