class progress_bar : Gtk.progress_bar Gtk.obj -> object ... endval progress_bar :
?pulse_step:float ->
?packing:(GObj.widget -> unit) ->
?show:bool ->
unit ->
progress_barclass range_signals : [> Gtk.range ] Gtk.obj -> object ... endval scale :
Gtk.Tags.orientation ->
?adjustment:GData.adjustment ->
?digits:int ->
?draw_value:bool ->
?has_origin:bool ->
?value_pos:Gtk.Tags.position_type ->
?fill_level:float ->
?inverted:bool ->
?restrict_to_fill_level:bool ->
?round_digits:int ->
?show_fill_level:bool ->
?lower_stepper_sensitivity:Gtk.Tags.sensitivity_type ->
?upper_stepper_sensitivity:Gtk.Tags.sensitivity_type ->
?packing:(GObj.widget -> unit) ->
?show:bool ->
unit ->
scaleval scrollbar :
Gtk.Tags.orientation ->
?adjustment:GData.adjustment ->
?fill_level:float ->
?inverted:bool ->
?restrict_to_fill_level:bool ->
?round_digits:int ->
?show_fill_level:bool ->
?lower_stepper_sensitivity:Gtk.Tags.sensitivity_type ->
?upper_stepper_sensitivity:Gtk.Tags.sensitivity_type ->
?packing:(GObj.widget -> unit) ->
?show:bool ->
unit ->
range