Fixed #516:  the color of the slider change when the slider is moved