<!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="GButton.html"> <link rel="next" href="GMenu.html"> <link rel="Up" href="index.html"> <title>LablGTK : GText</title> </head> <body> <div class="navbar"><a href="GButton.html">Previous</a> <a href="index.html">Up</a> <a href="GMenu.html">Next</a> </div> <center><h1>Module <a href="type_GText.html">GText</a></h1></center> <br> <pre><span class="keyword">module</span> GText: <code class="code">sig</code> <a href="GText.html">..</a> <code class="code">end</code></pre>The text widget and associated objects<br> <small>GTK documentation: <a href="file:///usr/share/gtk-doc/html/gtk/TextWidget.html">TextWidget</a></small><hr width="100%"> <br> The text widget and associated objects<br> <pre><span class="keyword">type</span> <a name="TYPEmark"></a><code class="type"></code>mark = <code class="type">[ `INSERT | `MARK of <a href="Gtk.html#TYPEtext_mark">Gtk.text_mark</a> | `NAME of string | `SEL_BOUND ]</code> </pre> <pre><span class="keyword">class</span> <a name="TYPEchild_anchor"></a><a href="GText.child_anchor.html">child_anchor</a> : <code class="type"><a href="Gtk.html#TYPEtext_child_anchor">Gtk.text_child_anchor</a> -> </code><code class="code">object</code> <a href="GText.child_anchor.html">..</a> <code class="code">end</code></pre><br><pre><span class="keyword">val</span> <a name="VALchild_anchor"></a>child_anchor : <code class="type">unit -> <a href="GText.child_anchor.html">child_anchor</a></code></pre><br> <a name="3_GtkTextTag"></a> <h3>GtkTextTag</h3><br> <pre><span class="keyword">type</span> <a name="TYPEtag_property"></a><code class="type"></code>tag_property = <code class="type">[ `BACKGROUND of string<br> | `BACKGROUND_FULL_HEIGHT of bool<br> | `BACKGROUND_FULL_HEIGHT_SET of bool<br> | `BACKGROUND_GDK of <a href="Gdk.html#TYPEcolor">Gdk.color</a><br> | `BACKGROUND_SET of bool<br> | `BACKGROUND_STIPPLE of <a href="Gdk.html#TYPEbitmap">Gdk.bitmap</a><br> | `BACKGROUND_STIPPLE_SET of bool<br> | `DIRECTION of <a href="Gtk.Tags.html#TYPEtext_direction">Gtk.Tags.text_direction</a><br> | `EDITABLE of bool<br> | `EDITABLE_SET of bool<br> | `FAMILY of string<br> | `FAMILY_SET of bool<br> | `FONT of string<br> | `FONT_DESC of <a href="Pango.html#TYPEfont_description">Pango.font_description</a><br> | `FOREGROUND of string<br> | `FOREGROUND_GDK of <a href="Gdk.html#TYPEcolor">Gdk.color</a><br> | `FOREGROUND_SET of bool<br> | `FOREGROUND_STIPPLE of <a href="Gdk.html#TYPEbitmap">Gdk.bitmap</a><br> | `FOREGROUND_STIPPLE_SET of bool<br> | `INDENT of int<br> | `INDENT_SET of bool<br> | `INVISIBLE of bool<br> | `INVISIBLE_SET of bool<br> | `JUSTIFICATION of <a href="Gtk.Tags.html#TYPEjustification">Gtk.Tags.justification</a><br> | `JUSTIFICATION_SET of bool<br> | `LANGUAGE of string<br> | `LANGUAGE_SET of bool<br> | `LEFT_MARGIN of int<br> | `LEFT_MARGIN_SET of bool<br> | `PIXELS_ABOVE_LINES of int<br> | `PIXELS_ABOVE_LINES_SET of bool<br> | `PIXELS_BELOW_LINES of int<br> | `PIXELS_BELOW_LINES_SET of bool<br> | `PIXELS_INSIDE_WRAP of int<br> | `PIXELS_INSIDE_WRAP_SET of bool<br> | `RIGHT_MARGIN of int<br> | `RIGHT_MARGIN_SET of bool<br> | `RISE of int<br> | `RISE_SET of bool<br> | `SCALE of <a href="Pango.Tags.html#TYPEscale">Pango.Tags.scale</a><br> | `SCALE_SET of bool<br> | `SIZE of int<br> | `SIZE_POINTS of float<br> | `SIZE_SET of bool<br> | `STRETCH of <a href="Pango.Tags.html#TYPEstretch">Pango.Tags.stretch</a><br> | `STRETCH_SET of bool<br> | `STRIKETHROUGH of bool<br> | `STRIKETHROUGH_SET of bool<br> | `STYLE of <a href="Pango.Tags.html#TYPEstyle">Pango.Tags.style</a><br> | `STYLE_SET of bool<br> | `TABS_SET of bool<br> | `UNDERLINE of <a href="Pango.Tags.html#TYPEunderline">Pango.Tags.underline</a><br> | `UNDERLINE_SET of bool<br> | `VARIANT of <a href="Pango.Tags.html#TYPEvariant">Pango.Tags.variant</a><br> | `VARIANT_SET of bool<br> | `WEIGHT of <a href="Pango.Tags.html#TYPEweight">Pango.Tags.weight</a><br> | `WEIGHT_SET of bool<br> | `WRAP_MODE of <a href="Gtk.Tags.html#TYPEwrap_mode">Gtk.Tags.wrap_mode</a><br> | `WRAP_MODE_SET of bool ]</code> </pre> <pre><span class="keyword">class</span> <a name="TYPEtag_signals"></a><a href="GText.tag_signals.html">tag_signals</a> : <code class="type">[> `texttag ] <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> </code><code class="code">object</code> <a href="GText.tag_signals.html">..</a> <code class="code">end</code></pre><div class="info"> </div> <br><pre><span class="keyword">class</span> <a name="TYPEtag"></a><a href="GText.tag.html">tag</a> : <code class="type"><a href="Gtk.html#TYPEtext_tag">Gtk.text_tag</a> -> </code><code class="code">object</code> <a href="GText.tag.html">..</a> <code class="code">end</code></pre><div class="info"> A tag that can be applied to text in a <a href="GText.html#VALbuffer"><code class="code">GText.buffer</code></a> </div> <br><pre><span class="keyword">val</span> <a name="VALtag"></a>tag : <code class="type">?name:string -> unit -> <a href="GText.tag.html">tag</a></code></pre><div class="info"> <small>GTK documentation: <a href="file:///usr/share/gtk-doc/html/gtk/GtkTextTag.html">GtkTextTag</a></small></div> <br> <a name="3_Textbufferiterator"></a> <h3>Text buffer iterator</h3><br> <pre><span class="keyword">type</span> <a name="TYPEcontents"></a><code class="type"></code>contents = <code class="type">[ `CHAR of <a href="Glib.html#TYPEunichar">Glib.unichar</a><br> | `CHILD of <a href="GText.child_anchor.html">child_anchor</a><br> | `PIXBUF of <a href="GdkPixbuf.html#TYPEpixbuf">GdkPixbuf.pixbuf</a><br> | `UNKNOWN ]</code> </pre> <br> Movement functions returning an iter are truly functional i.e. the returned iter shares nothing with the originale one. <p> If you need to move some iter in an imperative way use <code class="code">#nocopy#...</code>.<br> <pre><span class="keyword">class</span> <a name="TYPEnocopy_iter"></a><a href="GText.nocopy_iter.html">nocopy_iter</a> : <code class="type"><a href="Gtk.html#TYPEtext_iter">Gtk.text_iter</a> -> </code><code class="code">object</code> <a href="GText.nocopy_iter.html">..</a> <code class="code">end</code></pre><div class="info"> </div> <br><pre><span class="keyword">class</span> <a name="TYPEiter"></a><a href="GText.iter.html">iter</a> : <code class="type"><a href="Gtk.html#TYPEtext_iter">Gtk.text_iter</a> -> </code><code class="code">object</code> <a href="GText.iter.html">..</a> <code class="code">end</code></pre><div class="info"> </div> <br><pre><span class="keyword">val</span> <a name="VALas_iter"></a>as_iter : <code class="type"><a href="GText.iter.html">iter</a> -> <a href="Gtk.html#TYPEtext_iter">Gtk.text_iter</a></code></pre><div class="info"> <small>GTK documentation: <a href="file:///usr/share/gtk-doc/html/gtk/gtk-GtkTextIter.html">gtk-GtkTextIter</a></small></div> <br> <a name="3_GtkTextTagTable"></a> <h3>GtkTextTagTable</h3><br> <pre><span class="keyword">class</span> <a name="TYPEtag_table_signals"></a><a href="GText.tag_table_signals.html">tag_table_signals</a> : <code class="type">[> `texttagtable ] <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> </code><code class="code">object</code> <a href="GText.tag_table_signals.html">..</a> <code class="code">end</code></pre><div class="info"> </div> <br><pre><span class="keyword">class</span> <a name="TYPEtag_table_skel"></a><a href="GText.tag_table_skel.html">tag_table_skel</a> : <code class="type">[> `texttagtable ] <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> </code><code class="code">object</code> <a href="GText.tag_table_skel.html">..</a> <code class="code">end</code></pre><div class="info"> </div> <br><pre><span class="keyword">class</span> <a name="TYPEtag_table"></a><a href="GText.tag_table.html">tag_table</a> : <code class="type">[> `texttagtable ] <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> </code><code class="code">object</code> <a href="GText.tag_table.html">..</a> <code class="code">end</code></pre><div class="info"> Collection of tags that can be used together </div> <br><pre><span class="keyword">val</span> <a name="VALtag_table"></a>tag_table : <code class="type">unit -> <a href="GText.tag_table.html">tag_table</a></code></pre><div class="info"> <small>GTK documentation: <a href="file:///usr/share/gtk-doc/html/gtk/GtkTextTagTable.html">GtkTextTagTable</a></small></div> <br> <a name="3_GtkTextBuffer"></a> <h3>GtkTextBuffer</h3><br> <pre><span class="keyword">class type</span> <a name="TYPEbuffer_signals_skel_type"></a><a href="GText.buffer_signals_skel_type.html">buffer_signals_skel_type</a> = <code class="code">object</code> <a href="GText.buffer_signals_skel_type.html">..</a> <code class="code">end</code></pre><pre><span class="keyword">class</span> <a name="TYPEbuffer_signals_skel"></a><span class="keyword">virtual</span> <a href="GText.buffer_signals_skel.html">buffer_signals_skel</a> : <code class="type"></code><code class="code">object</code> <a href="GText.buffer_signals_skel.html">..</a> <code class="code">end</code></pre><br><pre><span class="keyword">class type</span> <a name="TYPEbuffer_signals_type"></a><code class="type">['a]</code> <a href="GText.buffer_signals_type.html">buffer_signals_type</a> = <code class="code">object</code> <a href="GText.buffer_signals_type.html">..</a> <code class="code">end</code></pre><pre><span class="keyword">class</span> <a name="TYPEbuffer_signals"></a><a href="GText.buffer_signals.html">buffer_signals</a> : <code class="type">[> `textbuffer ] <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> </code><code class="type">[[> `textbuffer ] as 'a]</code> <code class="type"><a href="GText.buffer_signals_type.html">buffer_signals_type</a></code></pre><br><pre><span class="keyword">exception</span> <a name="EXCEPTIONNo_such_mark"></a>No_such_mark <span class="keyword">of</span> <code class="type">string</code></pre> <pre><span class="keyword">type</span> <a name="TYPEposition"></a><code class="type"></code>position = <code class="type">[ `END<br> | `INSERT<br> | `ITER of <a href="GText.iter.html">iter</a><br> | `LINE of int<br> | `LINEBYTE of int * int<br> | `LINECHAR of int * int<br> | `MARK of <a href="Gtk.html#TYPEtext_mark">Gtk.text_mark</a><br> | `NAME of string<br> | `OFFSET of int<br> | `SEL_BOUND<br> | `START ]</code> </pre> <pre><span class="keyword">class</span> <a name="TYPEbuffer_skel"></a><a href="GText.buffer_skel.html">buffer_skel</a> : <code class="type">[> `textbuffer ] <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> </code><code class="code">object</code> <a href="GText.buffer_skel.html">..</a> <code class="code">end</code></pre><div class="info"> Stores attributed text for display in a <a href="GText.html#VALview"><code class="code">GText.view</code></a> </div> <br><pre><span class="keyword">class</span> <a name="TYPEbuffer"></a><a href="GText.buffer.html">buffer</a> : <code class="type">[> `textbuffer ] <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> </code><code class="code">object</code> <a href="GText.buffer.html">..</a> <code class="code">end</code></pre><br><pre><span class="keyword">val</span> <a name="VALbuffer"></a>buffer : <code class="type">?tag_table:<a href="GText.tag_table.html">tag_table</a> -> ?text:string -> unit -> <a href="GText.buffer.html">buffer</a></code></pre><div class="info"> <small>GTK documentation: <a href="file:///usr/share/gtk-doc/html/gtk/GtkTextBuffer.html">GtkTextBuffer</a></small></div> <br> <a name="3_GtkTextView"></a> <h3>GtkTextView</h3><br> <pre><span class="keyword">class</span> <a name="TYPEview_signals"></a><a href="GText.view_signals.html">view_signals</a> : <code class="type">[> <a href="Gtk.html#TYPEtext_view">Gtk.text_view</a> ] <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> </code><code class="code">object</code> <a href="GText.view_signals.html">..</a> <code class="code">end</code></pre><div class="info"> </div> <br><pre><span class="keyword">class</span> <a name="TYPEview_skel"></a><a href="GText.view_skel.html">view_skel</a> : <code class="type">[> <a href="Gtk.html#TYPEtext_view">Gtk.text_view</a> ] <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> </code><code class="code">object</code> <a href="GText.view_skel.html">..</a> <code class="code">end</code></pre><div class="info"> Widget that displays a <a href="GText.html#VALbuffer"><code class="code">GText.buffer</code></a> </div> <br><pre><span class="keyword">class</span> <a name="TYPEview"></a><a href="GText.view.html">view</a> : <code class="type">[> <a href="Gtk.html#TYPEtext_view">Gtk.text_view</a> ] <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> </code><code class="code">object</code> <a href="GText.view.html">..</a> <code class="code">end</code></pre><br><pre><span class="keyword">val</span> <a name="VALview"></a>view : <code class="type">?buffer:<a href="GText.buffer.html">buffer</a> -><br> ?editable:bool -><br> ?cursor_visible:bool -><br> ?justification:<a href="Gtk.Tags.html#TYPEjustification">Gtk.Tags.justification</a> -><br> ?wrap_mode:<a href="Gtk.Tags.html#TYPEwrap_mode">Gtk.Tags.wrap_mode</a> -><br> ?accepts_tab: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="GText.view.html">view</a></code></pre><div class="info"> <small>GTK documentation: <a href="file:///usr/share/gtk-doc/html/gtk/GtkTextView.html">GtkTextView</a></small></div> </body></html>
distrib
>
Mandriva
>
2010.0
>
i586
>
media
>
contrib-release
>
by-pkgid
>
0be7620be6a1578fbd49765844864a01
>
files
>
212
