beremiz

beremiz/tests/projects/svghmi_scrollbar/svghmi_0@svghmi/
SVGHMI: add visible feedback to Jump widget when clicked/touched

2022-09-29, Edouard Tisserant
dfcd13683362