Fixed a small Linux bug for sizing of the slider.