[> Gtk.range ] Gtk.obj ->
object ('a)
method adjust_bounds : callback:(float -> unit) -> GtkSignal.id
method after : 'a
method change_value :
callback:(Gtk.Tags.scroll_type -> float -> unit) -> GtkSignal.id
method destroy : callback:(unit -> unit) -> GtkSignal.id
method move_slider :
callback:(Gtk.Tags.scroll_type -> unit) -> GtkSignal.id
method notify_adjustment :
callback:(GData.adjustment -> unit) -> GtkSignal.id
method notify_fill_level : callback:(float -> unit) -> GtkSignal.id
method notify_inverted : callback:(bool -> unit) -> GtkSignal.id
method notify_lower_stepper_sensitivity :
callback:(Gtk.Tags.sensitivity_type -> unit) -> GtkSignal.id
method notify_restrict_to_fill_level :
callback:(bool -> unit) -> GtkSignal.id
method notify_round_digits : callback:(int -> unit) -> GtkSignal.id
method notify_show_fill_level : callback:(bool -> unit) -> GtkSignal.id
method notify_upper_stepper_sensitivity :
callback:(Gtk.Tags.sensitivity_type -> unit) -> GtkSignal.id
method value_changed : callback:(unit -> unit) -> GtkSignal.id
end