<!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="GtkText.ChildAnchor.html"> <link rel="next" href="GtkText.Iter.html"> <link rel="Up" href="GtkText.html"> <title>LablGTK : GtkText.View</title> </head> <body> <div class="navbar"><a href="GtkText.ChildAnchor.html">Previous</a> <a href="GtkText.html">Up</a> <a href="GtkText.Iter.html">Next</a> </div> <center><h1>Module <a href="type_GtkText.View.html">GtkText.View</a></h1></center> <br> <pre><span class="keyword">module</span> View: <code class="code">sig</code> <a href="GtkText.View.html">..</a> <code class="code">end</code></pre><hr width="100%"> <pre><span class="keyword">include</span> <a href="GtkTextProps.TextView.html">GtkTextProps.TextView</a></pre> <pre><span class="keyword">val</span> <a name="VALcreate_with_buffer"></a>create_with_buffer : <code class="type"><a href="Gtk.html#TYPEtext_buffer">Gtk.text_buffer</a> -> <a href="Gtk.html#TYPEtext_view">Gtk.text_view</a> <a href="Gtk.html#TYPEobj">Gtk.obj</a></code></pre><pre><span class="keyword">val</span> <a name="VALset_buffer"></a>set_buffer : <code class="type">[> `textview ] <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> <a href="Gtk.html#TYPEtext_buffer">Gtk.text_buffer</a> -> unit</code></pre><pre><span class="keyword">val</span> <a name="VALget_buffer"></a>get_buffer : <code class="type">[> `textview ] <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> <a href="Gtk.html#TYPEtext_buffer">Gtk.text_buffer</a></code></pre><pre><span class="keyword">val</span> <a name="VALscroll_to_mark"></a>scroll_to_mark : <code class="type">[> `textview ] <a href="Gtk.html#TYPEobj">Gtk.obj</a> -><br> <a href="Gtk.html#TYPEtext_mark">Gtk.text_mark</a> -> float -> bool -> float -> float -> unit</code></pre><pre><span class="keyword">val</span> <a name="VALscroll_to_iter"></a>scroll_to_iter : <code class="type">[> `textview ] <a href="Gtk.html#TYPEobj">Gtk.obj</a> -><br> <a href="Gtk.html#TYPEtext_iter">Gtk.text_iter</a> -> float -> bool -> float -> float -> bool</code></pre><pre><span class="keyword">val</span> <a name="VALscroll_mark_onscreen"></a>scroll_mark_onscreen : <code class="type">[> `textview ] <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> <a href="Gtk.html#TYPEtext_mark">Gtk.text_mark</a> -> unit</code></pre><pre><span class="keyword">val</span> <a name="VALmove_mark_onscreen"></a>move_mark_onscreen : <code class="type">[> `textview ] <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> <a href="Gtk.html#TYPEtext_mark">Gtk.text_mark</a> -> bool</code></pre><pre><span class="keyword">val</span> <a name="VALplace_cursor_onscreen"></a>place_cursor_onscreen : <code class="type">[> `textview ] <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> bool</code></pre><pre><span class="keyword">val</span> <a name="VALget_visible_rect"></a>get_visible_rect : <code class="type">[> `textview ] <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> <a href="Gdk.Rectangle.html#TYPEt">Gdk.Rectangle.t</a></code></pre><pre><span class="keyword">val</span> <a name="VALget_iter_location"></a>get_iter_location : <code class="type">[> `textview ] <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> <a href="Gtk.html#TYPEtext_iter">Gtk.text_iter</a> -> <a href="Gdk.Rectangle.html#TYPEt">Gdk.Rectangle.t</a></code></pre><pre><span class="keyword">val</span> <a name="VALget_line_at_y"></a>get_line_at_y : <code class="type">[> `textview ] <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> int -> <a href="Gtk.html#TYPEtext_iter">Gtk.text_iter</a> * int</code></pre><pre><span class="keyword">val</span> <a name="VALget_line_yrange"></a>get_line_yrange : <code class="type">[> `textview ] <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> <a href="Gtk.html#TYPEtext_iter">Gtk.text_iter</a> -> int * int</code></pre><pre><span class="keyword">val</span> <a name="VALget_iter_at_location"></a>get_iter_at_location : <code class="type">[> `textview ] <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> int -> int -> <a href="Gtk.html#TYPEtext_iter">Gtk.text_iter</a></code></pre><pre><span class="keyword">val</span> <a name="VALbuffer_to_window_coords"></a>buffer_to_window_coords : <code class="type">[> `textview ] <a href="Gtk.html#TYPEobj">Gtk.obj</a> -><br> <a href="Gtk.Tags.html#TYPEtext_window_type">Gtk.Tags.text_window_type</a> -> int -> int -> int * int</code></pre><pre><span class="keyword">val</span> <a name="VALwindow_to_buffer_coords"></a>window_to_buffer_coords : <code class="type">[> `textview ] <a href="Gtk.html#TYPEobj">Gtk.obj</a> -><br> <a href="Gtk.Tags.html#TYPEtext_window_type">Gtk.Tags.text_window_type</a> -> int -> int -> int * int</code></pre><pre><span class="keyword">val</span> <a name="VALget_window"></a>get_window : <code class="type">[> `textview ] <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> <a href="Gtk.Tags.html#TYPEtext_window_type">Gtk.Tags.text_window_type</a> -> <a href="Gdk.html#TYPEwindow">Gdk.window</a> option</code></pre><pre><span class="keyword">val</span> <a name="VALget_window_type"></a>get_window_type : <code class="type">[> `textview ] <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> <a href="Gdk.html#TYPEwindow">Gdk.window</a> -> <a href="Gtk.Tags.html#TYPEtext_window_type">Gtk.Tags.text_window_type</a></code></pre><pre><span class="keyword">val</span> <a name="VALset_border_window_size"></a>set_border_window_size : <code class="type">[> `textview ] <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> <a href="Gtk.Tags.html#TYPEside_type">Gtk.Tags.side_type</a> -> int -> unit</code></pre><pre><span class="keyword">val</span> <a name="VALget_border_window_size"></a>get_border_window_size : <code class="type">[> `textview ] <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> <a href="Gtk.Tags.html#TYPEside_type">Gtk.Tags.side_type</a> -> int</code></pre><pre><span class="keyword">val</span> <a name="VALforward_display_line"></a>forward_display_line : <code class="type">[> `textview ] <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> <a href="Gtk.html#TYPEtext_iter">Gtk.text_iter</a> -> bool</code></pre><pre><span class="keyword">val</span> <a name="VALbackward_display_line"></a>backward_display_line : <code class="type">[> `textview ] <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> <a href="Gtk.html#TYPEtext_iter">Gtk.text_iter</a> -> bool</code></pre><pre><span class="keyword">val</span> <a name="VALforward_display_line_end"></a>forward_display_line_end : <code class="type">[> `textview ] <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> <a href="Gtk.html#TYPEtext_iter">Gtk.text_iter</a> -> bool</code></pre><pre><span class="keyword">val</span> <a name="VALbackward_display_line_start"></a>backward_display_line_start : <code class="type">[> `textview ] <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> <a href="Gtk.html#TYPEtext_iter">Gtk.text_iter</a> -> bool</code></pre><pre><span class="keyword">val</span> <a name="VALstarts_display_line"></a>starts_display_line : <code class="type">[> `textview ] <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> <a href="Gtk.html#TYPEtext_iter">Gtk.text_iter</a> -> bool</code></pre><pre><span class="keyword">val</span> <a name="VALmove_visually"></a>move_visually : <code class="type">[> `textview ] <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> <a href="Gtk.html#TYPEtext_iter">Gtk.text_iter</a> -> int -> bool</code></pre><pre><span class="keyword">val</span> <a name="VALadd_child_at_anchor"></a>add_child_at_anchor : <code class="type">[> `textview ] <a href="Gtk.html#TYPEobj">Gtk.obj</a> -><br> [> `widget ] <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> <a href="Gtk.html#TYPEtext_child_anchor">Gtk.text_child_anchor</a> -> unit</code></pre><pre><span class="keyword">val</span> <a name="VALadd_child_in_window"></a>add_child_in_window : <code class="type">[> `textview ] <a href="Gtk.html#TYPEobj">Gtk.obj</a> -><br> [> `widget ] <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> <a href="Gtk.Tags.html#TYPEtext_window_type">Gtk.Tags.text_window_type</a> -> int -> int -> unit</code></pre><pre><span class="keyword">val</span> <a name="VALmove_child"></a>move_child : <code class="type">[> `textview ] <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> [> `widget ] <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> int -> int -> unit</code></pre></body></html>
distrib
>
Mandriva
>
2010.0
>
i586
>
media
>
contrib-release
>
by-pkgid
>
0be7620be6a1578fbd49765844864a01
>
files
>
764
