Gtk.spin_button Gtk.obj ->
object
  val obj : Gtk.spin_button Gtk.obj
  method adjustment : GData.adjustment
  method as_widget : Gtk.widget Gtk.obj
  method coerce : GObj.widget
  method connect : GEdit.spin_button_signals
  method destroy : unit -> unit
  method digits : int
  method drag : GObj.drag_ops
  method event : GObj.event_ops
  method get_oid : int
  method misc : GObj.misc_ops
  method numeric : bool
  method rate : float
  method set_adjustment : GData.adjustment -> unit
  method set_digits : int -> unit
  method set_numeric : bool -> unit
  method set_rate : float -> unit
  method set_snap_to_ticks : bool -> unit
  method set_update_policy : [ `ALWAYS | `IF_VALID ] -> unit
  method set_value : float -> unit
  method set_wrap : bool -> unit
  method snap_to_ticks : bool
  method spin : Gtk.Tags.spin_type -> unit
  method update : unit
  method update_policy : [ `ALWAYS | `IF_VALID ]
  method value : float
  method value_as_int : int
  method wrap : bool
end