use gtk.SpinButton instead of slider controls