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 : ?orientation:Gtk.Tags.progress_bar_orientation ->
       ?pulse_step:float ->
       ?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> progress_bar

GTK documentation: GtkProgressGTK documentation: GtkProgressBar

orientation : default value is `LEFT_TO_RIGHT

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 ->
       ?value_pos:Gtk.Tags.position ->
       ?inverted:bool ->
       ?update_policy:Gtk.Tags.update_type ->
       ?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> scale

GTK documentation: GtkScaleGTK documentation: GtkHScaleGTK documentation: GtkVScale

digits : default value is 1

draw_value : default value is false

value_pos : default value is `LEFT

inverted : default value is false

update_policy : default value is `CONTINUOUS

val scrollbar : Gtk.Tags.orientation ->
       ?adjustment:GData.adjustment ->
       ?inverted:bool ->
       ?update_policy:Gtk.Tags.update_type ->
       ?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> range

GTK documentation: GtkScrollbarGTK documentation: GtkHScrollbarGTK documentation: GtkVScrollbar

inverted : default value is false

update_policy : default value is `CONTINUOUS

GtkRuler

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

val ruler : Gtk.Tags.orientation ->
       ?metric:Gtk.Tags.metric_type ->
       ?lower:float ->
       ?upper:float ->
       ?max_size:float ->
       ?position:float ->
       ?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> ruler

GTK documentation: GtkRulerGTK documentation: GtkHRulerGTK documentation: GtkVRuler

metric : default value is `PIXELS