Bug with Set Slider.thumbPosition

You maybe want to use an extension like [FREE / Open Source] SliderTools - Bit of useful feature for sliders if you are not working on an iOS app.
there is a fromUser param in Changed event.