method change_value : callback:(GtkEnums.scroll_type -> unit) -> GtkSignal.idmethod input : callback:(unit -> int) -> GtkSignal.idmethod notify_adjustment : callback:(GData.adjustment -> unit) -> GtkSignal.idmethod notify_digits : callback:(int -> unit) -> GtkSignal.idmethod notify_numeric : callback:(bool -> unit) -> GtkSignal.idmethod notify_rate : callback:(float -> unit) -> GtkSignal.idmethod notify_snap_to_ticks : callback:(bool -> unit) -> GtkSignal.idmethod notify_update_policy : callback:
(GtkEnums.spin_button_update_policy -> unit) ->
GtkSignal.idmethod notify_value : callback:(float -> unit) -> GtkSignal.idmethod notify_wrap : callback:(bool -> unit) -> GtkSignal.idmethod output : callback:(unit -> bool) -> GtkSignal.idmethod value_changed : callback:(unit -> unit) -> GtkSignal.idmethod wrapped : callback:(unit -> unit) -> GtkSignal.id