Source position: gtkspinbutton.pp line 91
procedure gtk_spin_button_set_digits(
spin_button: PGtkSpinButton;
digits: guint
);