Class `GEdit.spin_button`

Retrieve an integer or floating-point number from the user @gtkdoc gtk GtkSpinButton

inherit GObj.widget

val obj : Gtk.spin_button Gtk.obj

method connect : spin_button_signals
method event : GObj.event_ops
method spin : Gtk.Tags.spin_type -> unit
method update : unit
method value_as_int : int
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 adjustment : GData.adjustment
method digits : int
method numeric : bool
method rate : float
method snap_to_ticks : bool
method update_policy : [ `ALWAYS | `IF_VALID ]
method value : float
method wrap : bool