A GtkSpinButton is an ideal way to allow the user to set the value of some attribute.
See Source File