SpinButton.configure

void configure(gtk.adjustment.Adjustment adjustment, double climbRate, uint digits)

Changes the properties of an existing spin button.

The adjustment, climb rate, and number of decimal places are updated accordingly.

Parameters

adjustmenta [gtk.adjustment.Adjustment] to replace the spin button’s existing adjustment, or null to leave its current adjustment unchanged
climbRatethe new climb rate
digitsthe number of decimal places to display in the spin button