GtkSpinButton::set_value

void set_value(double value);

See also: get_value()