gtk:spin-button-configure (button adjustment rate digits)

button -- a gtk:spin-button widget
adjustment -- a gtk:adjustment object
rate -- a number coerced to a double float for the climb rate
digits -- an unsigned integer for the number of decimal places to display in the spin button

Changes the properties of an existing spin button. The adjustment, climb rate, and number of decimal places are all changed accordingly, after this function call.