Sophie

Sophie

distrib > Mandriva > 2010.0 > i586 > media > contrib-release > by-pkgid > 0be7620be6a1578fbd49765844864a01 > files > 137

ocaml-lablgtk2-doc-2.14.0-2mdv2010.0.i586.rpm

<!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="GMenu.html">
<link rel="next" href="GTree.html">
<link rel="Up" href="index.html">
<title>LablGTK : GMisc</title>
</head>
<body>
<div class="navbar"><a href="GMenu.html">Previous</a>
&nbsp;<a href="index.html">Up</a>
&nbsp;<a href="GTree.html">Next</a>
</div>
<center><h1>Module <a href="type_GMisc.html">GMisc</a></h1></center>
<br>
<pre><span class="keyword">module</span> GMisc: <code class="code">sig</code> <a href="GMisc.html">..</a> <code class="code">end</code></pre>Miscellaneous widgets<br>
<hr width="100%">
<br>
Miscellaneous widgets<br>
<pre><span class="keyword">val</span> <a name="VALseparator"></a>separator : <code class="type"><a href="Gtk.Tags.html#TYPEorientation">Gtk.Tags.orientation</a> -><br>       ?packing:(<a href="GObj.widget.html">GObj.widget</a> -> unit) -> ?show:bool -> unit -> <a href="GObj.widget_full.html">GObj.widget_full</a></code></pre><div class="info">
<small>GTK documentation:&nbsp;<a href="file:///usr/share/gtk-doc/html/gtk/GtkSeparator.html">GtkSeparator</a></small><small>GTK documentation:&nbsp;<a href="file:///usr/share/gtk-doc/html/gtk/GtkHSeparator.html">GtkHSeparator</a></small><small>GTK documentation:&nbsp;<a href="file:///usr/share/gtk-doc/html/gtk/GtkVSeparator.html">GtkVSeparator</a></small></div>
<br>
<a name="3_Statusbar"></a>
<h3>Statusbar</h3><br>
<pre><span class="keyword">class</span> <a name="TYPEstatusbar_context"></a><a href="GMisc.statusbar_context.html">statusbar_context</a> : <code class="type"><a href="Gtk.html#TYPEstatusbar">Gtk.statusbar</a> <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> <a href="Gtk.html#TYPEstatusbar_context">Gtk.statusbar_context</a> -> </code><code class="code">object</code> <a href="GMisc.statusbar_context.html">..</a> <code class="code">end</code></pre><br><pre><span class="keyword">class</span> <a name="TYPEstatusbar"></a><a href="GMisc.statusbar.html">statusbar</a> : <code class="type"><a href="Gtk.html#TYPEstatusbar">Gtk.statusbar</a> <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> </code><code class="code">object</code> <a href="GMisc.statusbar.html">..</a> <code class="code">end</code></pre><div class="info">
Report messages of minor importance to the user
</div>
<br><pre><span class="keyword">val</span> <a name="VALstatusbar"></a>statusbar : <code class="type">?has_resize_grip:bool -><br>       ?border_width:int -><br>       ?width:int -><br>       ?height:int -><br>       ?packing:(<a href="GObj.widget.html">GObj.widget</a> -> unit) -> ?show:bool -> unit -> <a href="GMisc.statusbar.html">statusbar</a></code></pre><div class="info">
<small>GTK documentation:&nbsp;<a href="file:///usr/share/gtk-doc/html/gtk/GtkStatusbar.html">GtkStatusbar</a></small></div>
<br>
<a name="3_Statusicon"></a>
<h3>Status icon</h3><br>
<pre><span class="keyword">class</span> <a name="TYPEstatus_icon_signals"></a><a href="GMisc.status_icon_signals.html">status_icon_signals</a> : <code class="type"><a href="Gtk.html#TYPEstatus_icon">Gtk.status_icon</a> <a href="Gobject.html#TYPEobj">Gobject.obj</a> -> </code><code class="code">object</code> <a href="GMisc.status_icon_signals.html">..</a> <code class="code">end</code></pre><div class="info">
</div>
<br><pre><span class="keyword">class</span> <a name="TYPEstatus_icon"></a><a href="GMisc.status_icon.html">status_icon</a> : <code class="type"><a href="Gtk.html#TYPEgtk_status_icon">Gtk.gtk_status_icon</a> -> </code><code class="code">object</code> <a href="GMisc.status_icon.html">..</a> <code class="code">end</code></pre><div class="info">
Display an icon in the system tray.
</div>
<br><pre><span class="keyword">val</span> <a name="VALstatus_icon"></a>status_icon : <code class="type">?screen:<a href="Gdk.html#TYPEscreen">Gdk.screen</a> -><br>       ?visible:bool -> ?blinking:bool -> unit -> <a href="GMisc.status_icon.html">status_icon</a></code></pre><pre><span class="keyword">val</span> <a name="VALstatus_icon_from_pixbuf"></a>status_icon_from_pixbuf : <code class="type">?screen:<a href="Gdk.html#TYPEscreen">Gdk.screen</a> -><br>       ?visible:bool -> ?blinking:bool -> <a href="GdkPixbuf.html#TYPEpixbuf">GdkPixbuf.pixbuf</a> -> <a href="GMisc.status_icon.html">status_icon</a></code></pre><pre><span class="keyword">val</span> <a name="VALstatus_icon_from_file"></a>status_icon_from_file : <code class="type">?screen:<a href="Gdk.html#TYPEscreen">Gdk.screen</a> -><br>       ?visible:bool -> ?blinking:bool -> string -> <a href="GMisc.status_icon.html">status_icon</a></code></pre><pre><span class="keyword">val</span> <a name="VALstatus_icon_from_stock"></a>status_icon_from_stock : <code class="type">?screen:<a href="Gdk.html#TYPEscreen">Gdk.screen</a> -><br>       ?visible:bool -> ?blinking:bool -> string -> <a href="GMisc.status_icon.html">status_icon</a></code></pre><pre><span class="keyword">val</span> <a name="VALstatus_icon_from_icon_name"></a>status_icon_from_icon_name : <code class="type">?screen:<a href="Gdk.html#TYPEscreen">Gdk.screen</a> -><br>       ?visible:bool -> ?blinking:bool -> string -> <a href="GMisc.status_icon.html">status_icon</a></code></pre><br>
<a name="3_Calendar"></a>
<h3>Calendar</h3><br>
<pre><span class="keyword">class</span> <a name="TYPEcalendar_signals"></a><a href="GMisc.calendar_signals.html">calendar_signals</a> : <code class="type">[> <a href="Gtk.html#TYPEcalendar">Gtk.calendar</a> ] <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> </code><code class="code">object</code> <a href="GMisc.calendar_signals.html">..</a> <code class="code">end</code></pre><div class="info">
</div>
<br><pre><span class="keyword">class</span> <a name="TYPEcalendar"></a><a href="GMisc.calendar.html">calendar</a> : <code class="type"><a href="Gtk.html#TYPEcalendar">Gtk.calendar</a> <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> </code><code class="code">object</code> <a href="GMisc.calendar.html">..</a> <code class="code">end</code></pre><div class="info">
Display a calendar and/or allow the user to select a date
</div>
<br><pre><span class="keyword">val</span> <a name="VALcalendar"></a>calendar : <code class="type">?options:<a href="Gtk.Tags.html#TYPEcalendar_display_options">Gtk.Tags.calendar_display_options</a> list -><br>       ?packing:(<a href="GObj.widget.html">GObj.widget</a> -> unit) -> ?show:bool -> unit -> <a href="GMisc.calendar.html">calendar</a></code></pre><div class="info">
<small>GTK documentation:&nbsp;<a href="file:///usr/share/gtk-doc/html/gtk/GtkCalendar.html">GtkCalendar</a></small></div>
<br>
<a name="3_DrawingArea"></a>
<h3>Drawing Area</h3><br>
<pre><span class="keyword">class</span> <a name="TYPEdrawing_area"></a><a href="GMisc.drawing_area.html">drawing_area</a> : <code class="type"><a href="Gtk.html#TYPEdrawing_area">Gtk.drawing_area</a> <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> </code><code class="code">object</code> <a href="GMisc.drawing_area.html">..</a> <code class="code">end</code></pre><div class="info">
A widget for custom user interface elements
</div>
<br><pre><span class="keyword">val</span> <a name="VALdrawing_area"></a>drawing_area : <code class="type">?width:int -><br>       ?height:int -><br>       ?packing:(<a href="GObj.widget.html">GObj.widget</a> -> unit) -> ?show:bool -> unit -> <a href="GMisc.drawing_area.html">drawing_area</a></code></pre><div class="info">
<small>GTK documentation:&nbsp;<a href="file:///usr/share/gtk-doc/html/gtk/GtkDrawingArea.html">GtkDrawingArea</a></small></div>
<br>
<a name="3_Misc"></a>
<h3>Misc. Widgets</h3><br>
<pre><span class="keyword">class</span> <a name="TYPEmisc"></a><a href="GMisc.misc.html">misc</a> : <code class="type">[> <a href="Gtk.html#TYPEmisc">Gtk.misc</a> ] <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> </code><code class="code">object</code> <a href="GMisc.misc.html">..</a> <code class="code">end</code></pre><div class="info">
A base class for widgets with alignments and padding
</div>
<br><pre><span class="keyword">class</span> <a name="TYPEarrow"></a><a href="GMisc.arrow.html">arrow</a> : <code class="type">[> <a href="Gtk.html#TYPEarrow">Gtk.arrow</a> ] <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> </code><code class="code">object</code> <a href="GMisc.arrow.html">..</a> <code class="code">end</code></pre><div class="info">
Produces an arrow pointing in one of the four cardinal directions
</div>
<br><pre><span class="keyword">val</span> <a name="VALarrow"></a>arrow : <code class="type">?kind:<a href="Gtk.Tags.html#TYPEarrow_type">Gtk.Tags.arrow_type</a> -><br>       ?shadow:<a href="Gtk.Tags.html#TYPEshadow_type">Gtk.Tags.shadow_type</a> -><br>       ?xalign:float -><br>       ?yalign:float -><br>       ?xpad:int -><br>       ?ypad:int -><br>       ?width:int -><br>       ?height:int -><br>       ?packing:(<a href="GObj.widget.html">GObj.widget</a> -> unit) -> ?show:bool -> unit -> <a href="GMisc.arrow.html">arrow</a></code></pre><div class="info">
<small>GTK documentation:&nbsp;<a href="file:///usr/share/gtk-doc/html/gtk/GtkArrow.html">GtkArrow</a></small></div>
<div class="param_info"><code class="code">kind</code> : default value is <code class="code">`RIGHT</code></div>
<div class="param_info"><code class="code">shadow</code> : default value is <code class="code">`OUT</code></div>
<pre><span class="keyword">type</span> <a name="TYPEimage_type"></a><code class="type"></code>image_type = <code class="type">[ `ANIMATION | `EMPTY | `ICON_SET | `IMAGE | `PIXBUF | `PIXMAP | `STOCK ]</code> </pre>

<pre><span class="keyword">class</span> <a name="TYPEimage"></a><a href="GMisc.image.html">image</a> : <code class="type">[> <a href="Gtk.html#TYPEimage">Gtk.image</a> ] <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> </code><code class="code">object</code> <a href="GMisc.image.html">..</a> <code class="code">end</code></pre><div class="info">
A widget displaying an image
</div>
<br><pre><span class="keyword">val</span> <a name="VALimage"></a>image : <code class="type">?file:string -><br>       ?image:<a href="Gdk.html#TYPEimage">Gdk.image</a> -><br>       ?pixbuf:<a href="GdkPixbuf.html#TYPEpixbuf">GdkPixbuf.pixbuf</a> -><br>       ?pixel_size:int -><br>       ?pixmap:<a href="Gdk.html#TYPEpixmap">Gdk.pixmap</a> -><br>       ?mask:<a href="Gdk.html#TYPEbitmap">Gdk.bitmap</a> -><br>       ?stock:<a href="GtkStock.html#TYPEid">GtkStock.id</a> -><br>       ?icon_set:<a href="Gtk.html#TYPEicon_set">Gtk.icon_set</a> -><br>       ?icon_size:<a href="Gtk.Tags.html#TYPEicon_size">Gtk.Tags.icon_size</a> -><br>       ?xalign:float -><br>       ?yalign:float -><br>       ?xpad:int -><br>       ?ypad:int -><br>       ?width:int -><br>       ?height:int -><br>       ?packing:(<a href="GObj.widget.html">GObj.widget</a> -> unit) -> ?show:bool -> unit -> <a href="GMisc.image.html">image</a></code></pre><div class="info">
<small>GTK documentation:&nbsp;<a href="file:///usr/share/gtk-doc/html/gtk/GtkImage.html">GtkImage</a></small></div>
<pre><span class="keyword">val</span> <a name="VALpixmap"></a>pixmap : <code class="type">#<a href="GDraw.pixmap.html">GDraw.pixmap</a> -><br>       ?xalign:float -><br>       ?yalign:float -><br>       ?xpad:int -><br>       ?ypad:int -><br>       ?width:int -><br>       ?height:int -><br>       ?packing:(<a href="GObj.widget.html">GObj.widget</a> -> unit) -> ?show:bool -> unit -> <a href="GMisc.image.html">image</a></code></pre><br>
<a name="4_Labels"></a>
<h4>Labels</h4><br>
<pre><span class="keyword">class</span> <a name="TYPElabel_skel"></a><a href="GMisc.label_skel.html">label_skel</a> : <code class="type">[> <a href="Gtk.html#TYPElabel">Gtk.label</a> ] <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> </code><code class="code">object</code> <a href="GMisc.label_skel.html">..</a> <code class="code">end</code></pre><div class="info">
</div>
<br><pre><span class="keyword">class</span> <a name="TYPElabel"></a><a href="GMisc.label.html">label</a> : <code class="type"><a href="Gtk.html#TYPElabel">Gtk.label</a> <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> </code><code class="code">object</code> <a href="GMisc.label.html">..</a> <code class="code">end</code></pre><div class="info">
A widget that displays a small to medium amount of text
</div>
<br><pre><span class="keyword">val</span> <a name="VALlabel"></a>label : <code class="type">?text:string -><br>       ?markup:string -><br>       ?use_underline:bool -><br>       ?mnemonic_widget:#<a href="GObj.widget.html">GObj.widget</a> -><br>       ?justify:<a href="Gtk.Tags.html#TYPEjustification">Gtk.Tags.justification</a> -><br>       ?line_wrap:bool -><br>       ?pattern:string -><br>       ?selectable:bool -><br>       ?ellipsize:<a href="PangoEnums.html#TYPEellipsize_mode">PangoEnums.ellipsize_mode</a> -><br>       ?xalign:float -><br>       ?yalign:float -><br>       ?xpad:int -><br>       ?ypad:int -><br>       ?width:int -><br>       ?height:int -><br>       ?packing:(<a href="GObj.widget.html">GObj.widget</a> -> unit) -> ?show:bool -> unit -> <a href="GMisc.label.html">label</a></code></pre><div class="info">
<small>GTK documentation:&nbsp;<a href="file:///usr/share/gtk-doc/html/gtk/GtkLabel.html">GtkLabel</a></small></div>
<div class="param_info"><code class="code">markup</code> : overrides <code class="code">text</code> if both are present</div>
<div class="param_info"><code class="code">use_underline</code> : default value is <code class="code">false</code></div>
<div class="param_info"><code class="code">justify</code> : default value is <code class="code">`LEFT</code></div>
<div class="param_info"><code class="code">line_wrap</code> : default values is <code class="code">false</code></div>
<div class="param_info"><code class="code">selectable</code> : default value is <code class="code">false</code></div>
<pre><span class="keyword">val</span> <a name="VALlabel_cast"></a>label_cast : <code class="type">< as_widget : 'a <a href="Gtk.html#TYPEobj">Gtk.obj</a>; .. > -> <a href="GMisc.label.html">label</a></code></pre><br>
<a name="4_Tipsquery"></a>
<h4>Tips query</h4><br>
<pre><span class="keyword">class</span> <a name="TYPEtips_query_signals"></a><a href="GMisc.tips_query_signals.html">tips_query_signals</a> : <code class="type"><a href="Gtk.html#TYPEtips_query">Gtk.tips_query</a> <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> </code><code class="code">object</code> <a href="GMisc.tips_query_signals.html">..</a> <code class="code">end</code></pre><div class="info">
<font color="#CCCCCC"></font></div>
<br><pre><span class="keyword">class</span> <a name="TYPEtips_query"></a><a href="GMisc.tips_query.html">tips_query</a> : <code class="type"><a href="Gtk.html#TYPEtips_query">Gtk.tips_query</a> <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> </code><code class="code">object</code> <a href="GMisc.tips_query.html">..</a> <code class="code">end</code></pre><div class="info">
<font color="#CCCCCC">Displays help about widgets in the user interface
</font></div>
<br><pre><span class="keyword">val</span> <a name="VALtips_query"></a>tips_query : <code class="type">?caller:#<a href="GObj.widget.html">GObj.widget</a> -><br>       ?emit_always:bool -><br>       ?label_inactive:string -><br>       ?label_no_tip:string -><br>       ?xalign:float -><br>       ?yalign:float -><br>       ?xpad:int -><br>       ?ypad:int -><br>       ?width:int -><br>       ?height:int -><br>       ?packing:(<a href="GObj.widget.html">GObj.widget</a> -> unit) -> ?show:bool -> unit -> <a href="GMisc.tips_query.html">tips_query</a></code></pre><div class="info">
<span class="warning">Deprecated.</span>.<br>
<small>GTK documentation:&nbsp;<a href="file:///usr/share/gtk-doc/html/gtk/GtkTipsQuery.html">GtkTipsQuery</a></small></div>
<br>
<a name="3_Colorandfontselection"></a>
<h3>Color and font selection</h3><br>
<pre><span class="keyword">class</span> <a name="TYPEcolor_selection"></a><a href="GMisc.color_selection.html">color_selection</a> : <code class="type"><a href="Gtk.html#TYPEcolor_selection">Gtk.color_selection</a> <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> </code><code class="code">object</code> <a href="GMisc.color_selection.html">..</a> <code class="code">end</code></pre><div class="info">
A widget used to select a color
</div>
<br><pre><span class="keyword">val</span> <a name="VALcolor_selection"></a>color_selection : <code class="type">?alpha:int -><br>       ?color:<a href="Gdk.html#TYPEcolor">Gdk.color</a> -><br>       ?has_opacity_control:bool -><br>       ?has_palette:bool -><br>       ?border_width:int -><br>       ?width:int -><br>       ?height:int -><br>       ?packing:(<a href="GObj.widget.html">GObj.widget</a> -> unit) -> ?show:bool -> unit -> <a href="GMisc.color_selection.html">color_selection</a></code></pre><div class="info">
<small>GTK documentation:&nbsp;<a href="file:///usr/share/gtk-doc/html/gtk/GtkColorSelection.html">GtkColorSelection</a></small></div>
<pre><span class="keyword">class</span> <a name="TYPEfont_selection"></a><a href="GMisc.font_selection.html">font_selection</a> : <code class="type"><a href="Gtk.html#TYPEfont_selection">Gtk.font_selection</a> <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> </code><code class="code">object</code> <a href="GMisc.font_selection.html">..</a> <code class="code">end</code></pre><div class="info">
A widget for selecting fonts.
</div>
<br><pre><span class="keyword">val</span> <a name="VALfont_selection"></a>font_selection : <code class="type">?font_name:string -><br>       ?preview_text:string -><br>       ?border_width:int -><br>       ?width:int -><br>       ?height:int -><br>       ?packing:(<a href="GObj.widget.html">GObj.widget</a> -> unit) -> ?show:bool -> unit -> <a href="GMisc.font_selection.html">font_selection</a></code></pre><div class="info">
<small>GTK documentation:&nbsp;<a href="file:///usr/share/gtk-doc/html/gtk/GtkFontSelection.html">GtkFontSelection</a></small></div>
</body></html>