beremiz

beremiz/tests/python/py_ext_0@py_ext/
SVGHMI: add a SetPoint to Slider Widget, visible only when operating the slider.
svghmi
2020-08-10, Edouard Tisserant
49799de67540