Previous  Up  Next

Module GRange

module GRange: sig .. end

Scrollbars, progressbars, etc.

GtkProgressBar

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

A widget which indicates progress visually


val progress_bar : ?pulse_step:float ->
       ?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> progress_bar
pulse_step : default value is 0.1

GtkRange

class range_signals : [> Gtk.range ] Gtk.obj -> object .. end

class range : [> Gtk.range ] Gtk.obj -> object .. end

Base class for widgets which visualize an adjustment


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

A slider widget for selecting a value from a range


val 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 -> scale
digits : default value is 1
draw_value : default value is false
value_pos : default value is `LEFT
inverted : default value is false
val 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
inverted : default value is false