Adapting the slider widget to the new spin box