get_spin_button


Description:

public unowned Widget get_spin_button ()

Returns:

The actual spin button widget.