<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> <html> <head> <link rel="stylesheet" href="style.css" type="text/css"> <link rel="Start" href="index.html"> <link rel="previous" href="GEdit.html"> <link rel="next" href="GAction.html"> <link rel="Up" href="index.html"> <title>LablGTK : GRange</title> </head> <body> <div class="navbar"><a href="GEdit.html">Previous</a> <a href="index.html">Up</a> <a href="GAction.html">Next</a> </div> <center><h1>Module <a href="type_GRange.html">GRange</a></h1></center> <br> <pre><span class="keyword">module</span> GRange: <code class="code">sig</code> <a href="GRange.html">..</a> <code class="code">end</code></pre>Scrollbars, progressbars, etc.<br> <hr width="100%"> <br> Scrollbars, progressbars, etc.<br> <br> <a name="3_GtkProgressBar"></a> <h3>GtkProgressBar</h3><br> <pre><span class="keyword">class</span> <a name="TYPEprogress_bar"></a><a href="GRange.progress_bar.html">progress_bar</a> : <code class="type"><a href="Gtk.html#TYPEprogress_bar">Gtk.progress_bar</a> <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> </code><code class="code">object</code> <a href="GRange.progress_bar.html">..</a> <code class="code">end</code></pre><div class="info"> A widget which indicates progress visually </div> <br><pre><span class="keyword">val</span> <a name="VALprogress_bar"></a>progress_bar : <code class="type">?orientation:<a href="Gtk.Tags.html#TYPEprogress_bar_orientation">Gtk.Tags.progress_bar_orientation</a> -><br> ?pulse_step:float -><br> ?packing:(<a href="GObj.widget.html">GObj.widget</a> -> unit) -> ?show:bool -> unit -> <a href="GRange.progress_bar.html">progress_bar</a></code></pre><div class="info"> <small>GTK documentation: <a href="file:///usr/share/gtk-doc/html/gtk/GtkProgress.html">GtkProgress</a></small><small>GTK documentation: <a href="file:///usr/share/gtk-doc/html/gtk/GtkProgressBar.html">GtkProgressBar</a></small></div> <div class="param_info"><code class="code">orientation</code> : default value is <code class="code">`LEFT_TO_RIGHT</code></div> <div class="param_info"><code class="code">pulse_step</code> : default value is <code class="code">0.1</code></div> <br> <a name="3_GtkRange"></a> <h3>GtkRange</h3><br> <pre><span class="keyword">class</span> <a name="TYPErange_signals"></a><a href="GRange.range_signals.html">range_signals</a> : <code class="type">[> <a href="Gtk.html#TYPErange">Gtk.range</a> ] <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> </code><code class="code">object</code> <a href="GRange.range_signals.html">..</a> <code class="code">end</code></pre><div class="info"> </div> <br><pre><span class="keyword">class</span> <a name="TYPErange"></a><a href="GRange.range.html">range</a> : <code class="type">[> <a href="Gtk.html#TYPErange">Gtk.range</a> ] <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> </code><code class="code">object</code> <a href="GRange.range.html">..</a> <code class="code">end</code></pre><div class="info"> Base class for widgets which visualize an adjustment </div> <br><pre><span class="keyword">class</span> <a name="TYPEscale"></a><a href="GRange.scale.html">scale</a> : <code class="type"><a href="Gtk.html#TYPEscale">Gtk.scale</a> <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> </code><code class="code">object</code> <a href="GRange.scale.html">..</a> <code class="code">end</code></pre><div class="info"> A slider widget for selecting a value from a range </div> <br><pre><span class="keyword">val</span> <a name="VALscale"></a>scale : <code class="type"><a href="Gtk.Tags.html#TYPEorientation">Gtk.Tags.orientation</a> -><br> ?adjustment:<a href="GData.adjustment.html">GData.adjustment</a> -><br> ?digits:int -><br> ?draw_value:bool -><br> ?value_pos:<a href="Gtk.Tags.html#TYPEposition">Gtk.Tags.position</a> -><br> ?inverted:bool -><br> ?update_policy:<a href="Gtk.Tags.html#TYPEupdate_type">Gtk.Tags.update_type</a> -><br> ?packing:(<a href="GObj.widget.html">GObj.widget</a> -> unit) -> ?show:bool -> unit -> <a href="GRange.scale.html">scale</a></code></pre><div class="info"> <small>GTK documentation: <a href="file:///usr/share/gtk-doc/html/gtk/GtkScale.html">GtkScale</a></small><small>GTK documentation: <a href="file:///usr/share/gtk-doc/html/gtk/GtkHScale.html">GtkHScale</a></small><small>GTK documentation: <a href="file:///usr/share/gtk-doc/html/gtk/GtkVScale.html">GtkVScale</a></small></div> <div class="param_info"><code class="code">digits</code> : default value is <code class="code">1</code></div> <div class="param_info"><code class="code">draw_value</code> : default value is <code class="code">false</code></div> <div class="param_info"><code class="code">value_pos</code> : default value is <code class="code">`LEFT</code></div> <div class="param_info"><code class="code">inverted</code> : default value is <code class="code">false</code></div> <div class="param_info"><code class="code">update_policy</code> : default value is <code class="code">`CONTINUOUS</code></div> <pre><span class="keyword">val</span> <a name="VALscrollbar"></a>scrollbar : <code class="type"><a href="Gtk.Tags.html#TYPEorientation">Gtk.Tags.orientation</a> -><br> ?adjustment:<a href="GData.adjustment.html">GData.adjustment</a> -><br> ?inverted:bool -><br> ?update_policy:<a href="Gtk.Tags.html#TYPEupdate_type">Gtk.Tags.update_type</a> -><br> ?packing:(<a href="GObj.widget.html">GObj.widget</a> -> unit) -> ?show:bool -> unit -> <a href="GRange.range.html">range</a></code></pre><div class="info"> <small>GTK documentation: <a href="file:///usr/share/gtk-doc/html/gtk/GtkScrollbar.html">GtkScrollbar</a></small><small>GTK documentation: <a href="file:///usr/share/gtk-doc/html/gtk/GtkHScrollbar.html">GtkHScrollbar</a></small><small>GTK documentation: <a href="file:///usr/share/gtk-doc/html/gtk/GtkVScrollbar.html">GtkVScrollbar</a></small></div> <div class="param_info"><code class="code">inverted</code> : default value is <code class="code">false</code></div> <div class="param_info"><code class="code">update_policy</code> : default value is <code class="code">`CONTINUOUS</code></div> <br> <a name="3_GtkRuler"></a> <h3>GtkRuler</h3><br> <pre><span class="keyword">class</span> <a name="TYPEruler"></a><a href="GRange.ruler.html">ruler</a> : <code class="type">[> <a href="Gtk.html#TYPEruler">Gtk.ruler</a> ] <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> </code><code class="code">object</code> <a href="GRange.ruler.html">..</a> <code class="code">end</code></pre><div class="info"> </div> <br><pre><span class="keyword">val</span> <a name="VALruler"></a>ruler : <code class="type"><a href="Gtk.Tags.html#TYPEorientation">Gtk.Tags.orientation</a> -><br> ?metric:<a href="Gtk.Tags.html#TYPEmetric_type">Gtk.Tags.metric_type</a> -><br> ?lower:float -><br> ?upper:float -><br> ?max_size:float -><br> ?position:float -><br> ?packing:(<a href="GObj.widget.html">GObj.widget</a> -> unit) -> ?show:bool -> unit -> <a href="GRange.ruler.html">ruler</a></code></pre><div class="info"> <small>GTK documentation: <a href="file:///usr/share/gtk-doc/html/gtk/GtkRuler.html">GtkRuler</a></small><small>GTK documentation: <a href="file:///usr/share/gtk-doc/html/gtk/GtkHRuler.html">GtkHRuler</a></small><small>GTK documentation: <a href="file:///usr/share/gtk-doc/html/gtk/GtkVRuler.html">GtkVRuler</a></small></div> <div class="param_info"><code class="code">metric</code> : default value is <code class="code">`PIXELS</code></div> </body></html>