SVGHMI: add a SetPoint to Slider Widget, visible only when operating the slider.
svghmi
2020-08-10, Edouard Tisserant