beremiz

beremiz/svgui/pyjs/jsonrpc/
SVGHMI: add a SetPoint to Slider Widget, visible only when operating the slider.
svghmi
2020-08-10, Edouard Tisserant
49799de67540