beremiz

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
C extension