beremiz

SVGHMI: add a SetPoint to Slider Widget, visible only when operating the slider.
from __future__ import absolute_import
from svgui.pyjs.pyjs import *