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

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