man GEdit.spin_button () - Retrieve an integer or floating-point number from the user

NAME

GEdit.spin_button - Retrieve an integer or floating-point number from the user

Class GEdit.spin_button

class spin_button : Gtk.spin_button Gtk.obj -> object end

Retrieve an integer or floating-point number from the user

Parameters:

Gtk.spin_button Gtk.obj

val obj : Gtk.spin_button Gtk.obj

method connect : GEdit.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