Module GRange

module GRange: sig .. end
Scrollbars, progressbars, etc.


Scrollbars, progressbars, etc.

GtkProgressBar


class progress_bar : Gtk.progress_bar Gtk.obj -> object .. end
A widget which indicates progress visually (gtkdoc: gtk GtkProgress) (gtkdoc: gtk GtkProgressBar)
val progress_bar : ?orientation:Gtk.Tags.progress_bar_orientation ->
?pulse_step:float ->
?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> progress_bar
(gtkdoc: gtk GtkProgress) (gtkdoc: gtk 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
(gtkdoc: gtk GtkRange)
class range : [> Gtk.range ] Gtk.obj -> object .. end
Base class for widgets which visualize an adjustment (gtkdoc: gtk GtkRange)
class scale : Gtk.scale Gtk.obj -> object .. end
A slider widget for selecting a value from a range (gtkdoc: gtk GtkScale) (gtkdoc: gtk GtkHScale) (gtkdoc: gtk GtkVScale)
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
(gtkdoc: gtk GtkScale) (gtkdoc: gtk GtkHScale) (gtkdoc: gtk 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
(gtkdoc: gtk GtkScrollbar) (gtkdoc: gtk GtkHScrollbar) (gtkdoc: gtk GtkVScrollbar)
inverted : default value is false
update_policy : default value is `CONTINUOUS

GtkRuler


class ruler : [> Gtk.ruler ] Gtk.obj -> object .. end
(gtkdoc: gtk GtkRuler) (gtkdoc: gtk GtkHRuler) (gtkdoc: gtk GtkVRuler)
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
(gtkdoc: gtk GtkRuler) (gtkdoc: gtk GtkHRuler) (gtkdoc: gtk GtkVRuler)
metric : default value is `PIXELS