Gtk.SpinButton.set_digits Reference Manual
Gtk.SpinButton.set_digits:
Description:
public
void
set_digits (
uint
digits)
created by
valadoc