UserChange event doesn't fire if the value exists multiple times on the slider

[danisss9]

Hi, I have a slider that contains (possibly duplicate) timestamps. Whenever I change from a tick on the slider to another one with the same timestamp, I expect the UserChange event to be emitted but this doesn't seem to be the case. In all the other cases (when the timestamps differ) the event is correctly emitted.

Is there any known workaround or is it planned to fix that?