<!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="GtkSpell.html"> <link rel="Up" href="index.html"> <title>LablGTK : GSourceView</title> </head> <body> <div class="navbar"><a href="GtkSpell.html">Previous</a> <a href="index.html">Up</a> </div> <center><h1>Module <a href="type_GSourceView.html">GSourceView</a></h1></center> <br> <pre><span class="keyword">module</span> GSourceView: <code class="code">sig</code> <a href="GSourceView.html">..</a> <code class="code">end</code></pre><a name="2_GtkSourceViewinterface"></a> <h2>GtkSourceView interface</h2><br> <hr width="100%"> <br> <a name="2_GtkSourceTag"></a> <h2>GtkSourceTag</h2><br> <pre><span class="keyword">type</span> <a name="TYPEsource_tag_property"></a><code class="type"></code>source_tag_property = <code class="type">[ `BACKGROUND of <a href="Gdk.html#TYPEcolor">Gdk.color</a><br> | `BOLD of bool<br> | `FOREGROUND of <a href="Gdk.html#TYPEcolor">Gdk.color</a><br> | `ITALIC of bool<br> | `STRIKETHROUGH of bool<br> | `UNDERLINE of bool ]</code> </pre> <pre><span class="keyword">class</span> <a name="TYPEsource_tag_style"></a><a href="GSourceView.source_tag_style.html">source_tag_style</a> : <code class="type">GtkSourceView_types.source_tag_style <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> </code><code class="code">object</code> <a href="GSourceView.source_tag_style.html">..</a> <code class="code">end</code></pre><br><pre><span class="keyword">val</span> <a name="VALsource_tag_style"></a>source_tag_style : <code class="type">?background:<a href="Gdk.html#TYPEcolor">Gdk.color</a> -><br> ?background_by_name:string -><br> ?bold:bool -><br> ?foreground:<a href="Gdk.html#TYPEcolor">Gdk.color</a> -><br> ?foreground_by_name:string -><br> ?italic:bool -><br> ?strikethrough:bool -><br> ?underline:bool -> unit -> <a href="GSourceView.source_tag_style.html">source_tag_style</a></code></pre><pre><span class="keyword">type</span> <a name="TYPEsource_tag_id"></a><code class="type"></code>source_tag_id = <code class="type">string</code> </pre> <pre><span class="keyword">class</span> <a name="TYPEsource_tag"></a><a href="GSourceView.source_tag.html">source_tag</a> : <code class="type">GtkSourceView_types.source_tag <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> </code><code class="code">object</code> <a href="GSourceView.source_tag.html">..</a> <code class="code">end</code></pre><br><pre><span class="keyword">val</span> <a name="VALsyntax_tag"></a>syntax_tag : <code class="type">id:string -><br> name:string -> pat_start:string -> pat_end:string -> <a href="GSourceView.source_tag.html">source_tag</a></code></pre><pre><span class="keyword">val</span> <a name="VALpattern_tag"></a>pattern_tag : <code class="type">id:string -> name:string -> pat:string -> <a href="GSourceView.source_tag.html">source_tag</a></code></pre><pre><span class="keyword">val</span> <a name="VALkeyword_list_tag"></a>keyword_list_tag : <code class="type">id:string -><br> name:string -><br> keywords:string list -><br> ?case_sensitive:bool -><br> ?match_empty_string_at_beginning:bool -><br> ?match_empty_string_at_end:bool -><br> ?beginning_regex:string -><br> ?end_regex:string -> unit -> <a href="GSourceView.source_tag.html">source_tag</a></code></pre><pre><span class="keyword">val</span> <a name="VALblock_comment_tag"></a>block_comment_tag : <code class="type">id:string -><br> name:string -> pat_start:string -> pat_end:string -> <a href="GSourceView.source_tag.html">source_tag</a></code></pre><pre><span class="keyword">val</span> <a name="VALline_comment_tag"></a>line_comment_tag : <code class="type">id:string -> name:string -> pat_start:string -> <a href="GSourceView.source_tag.html">source_tag</a></code></pre><pre><span class="keyword">val</span> <a name="VALstring_tag"></a>string_tag : <code class="type">id:string -><br> name:string -><br> pat_start:string -><br> pat_end:string -> end_at_line_end:bool -> <a href="GSourceView.source_tag.html">source_tag</a></code></pre><br> <a name="2_GtkSourceTagTable"></a> <h2>GtkSourceTagTable</h2><br> <pre><span class="keyword">class</span> <a name="TYPEsource_tag_table_signals"></a><a href="GSourceView.source_tag_table_signals.html">source_tag_table_signals</a> : <code class="type">[> GtkSourceView_types.source_tag_table ] <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> </code><code class="code">object</code> <a href="GSourceView.source_tag_table_signals.html">..</a> <code class="code">end</code></pre><br><pre><span class="keyword">class</span> <a name="TYPEsource_tag_table"></a><a href="GSourceView.source_tag_table.html">source_tag_table</a> : <code class="type">GtkSourceView_types.source_tag_table <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> </code><code class="code">object</code> <a href="GSourceView.source_tag_table.html">..</a> <code class="code">end</code></pre><br><pre><span class="keyword">val</span> <a name="VALsource_tag_table"></a>source_tag_table : <code class="type">unit -> <a href="GSourceView.source_tag_table.html">source_tag_table</a></code></pre><br> <a name="2_GtkSourceStyleScheme"></a> <h2>GtkSourceStyleScheme</h2><br> <pre><span class="keyword">class</span> <a name="TYPEsource_style_scheme"></a><a href="GSourceView.source_style_scheme.html">source_style_scheme</a> : <code class="type">GtkSourceView_types.source_style_scheme <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> </code><code class="code">object</code> <a href="GSourceView.source_style_scheme.html">..</a> <code class="code">end</code></pre><br><pre><span class="keyword">val</span> <a name="VALdefault_style_scheme"></a>default_style_scheme : <code class="type">unit -> <a href="GSourceView.source_style_scheme.html">source_style_scheme</a></code></pre><br> <a name="2_GtkSourceLanguage"></a> <h2>GtkSourceLanguage</h2><br> <pre><span class="keyword">class</span> <a name="TYPEsource_language_signals"></a><a href="GSourceView.source_language_signals.html">source_language_signals</a> : <code class="type">[> GtkSourceView_types.source_language ] <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> </code><code class="code">object</code> <a href="GSourceView.source_language_signals.html">..</a> <code class="code">end</code></pre><br><pre><span class="keyword">class</span> <a name="TYPEsource_language"></a><a href="GSourceView.source_language.html">source_language</a> : <code class="type">GtkSourceView_types.source_language <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> </code><code class="code">object</code> <a href="GSourceView.source_language.html">..</a> <code class="code">end</code></pre><br><br> <a name="2_GtkSourceLanguagesManager"></a> <h2>GtkSourceLanguagesManager</h2><br> <pre><span class="keyword">class</span> <a name="TYPEsource_languages_manager"></a><a href="GSourceView.source_languages_manager.html">source_languages_manager</a> : <code class="type">GtkSourceView_types.source_languages_manager <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> </code><code class="code">object</code> <a href="GSourceView.source_languages_manager.html">..</a> <code class="code">end</code></pre><br><pre><span class="keyword">val</span> <a name="VALsource_languages_manager"></a>source_languages_manager : <code class="type">unit -> <a href="GSourceView.source_languages_manager.html">source_languages_manager</a></code></pre><pre><span class="keyword">val</span> <a name="VALsource_language_from_file"></a>source_language_from_file : <code class="type">?languages_manager:<a href="GSourceView.source_languages_manager.html">source_languages_manager</a> -><br> string -> <a href="GSourceView.source_language.html">source_language</a> option</code></pre><br> <a name="2_GtkSourceMarker"></a> <h2>GtkSourceMarker</h2><br> <pre><span class="keyword">class</span> <a name="TYPEsource_marker"></a><a href="GSourceView.source_marker.html">source_marker</a> : <code class="type">GtkSourceView_types.source_marker <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> </code><code class="code">object</code> <a href="GSourceView.source_marker.html">..</a> <code class="code">end</code></pre><br><br> <a name="2_GtkSourceBuffer"></a> <h2>GtkSourceBuffer</h2><br> <pre><span class="keyword">class</span> <a name="TYPEsource_buffer_signals"></a><a href="GSourceView.source_buffer_signals.html">source_buffer_signals</a> : <code class="type">GtkSourceView_types.source_buffer <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> </code><code class="code">object</code> <a href="GSourceView.source_buffer_signals.html">..</a> <code class="code">end</code></pre><br><pre><span class="keyword">class</span> <a name="TYPEsource_buffer"></a><a href="GSourceView.source_buffer.html">source_buffer</a> : <code class="type">GtkSourceView_types.source_buffer <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> </code><code class="code">object</code> <a href="GSourceView.source_buffer.html">..</a> <code class="code">end</code></pre><br><pre><span class="keyword">val</span> <a name="VALsource_buffer"></a>source_buffer : <code class="type">?language:<a href="GSourceView.source_language.html">source_language</a> -><br> ?tag_table:<a href="GSourceView.source_tag_table.html">source_tag_table</a> -><br> ?text:string -><br> ?check_brackets:bool -><br> ?escape_char:int -><br> ?highlight:bool -> ?max_undo_levels:int -> unit -> <a href="GSourceView.source_buffer.html">source_buffer</a></code></pre><br> <a name="2_GtkSourceView"></a> <h2>GtkSourceView</h2><br> <pre><span class="keyword">class</span> <a name="TYPEsource_view_signals"></a><a href="GSourceView.source_view_signals.html">source_view_signals</a> : <code class="type">[> GtkSourceView_types.source_view ] <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> </code><code class="code">object</code> <a href="GSourceView.source_view_signals.html">..</a> <code class="code">end</code></pre><br><pre><span class="keyword">class</span> <a name="TYPEsource_view"></a><a href="GSourceView.source_view.html">source_view</a> : <code class="type">GtkSourceView_types.source_view <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> </code><code class="code">object</code> <a href="GSourceView.source_view.html">..</a> <code class="code">end</code></pre><br><pre><span class="keyword">val</span> <a name="VALsource_view"></a>source_view : <code class="type">?source_buffer:<a href="GSourceView.source_buffer.html">source_buffer</a> -><br> ?auto_indent:bool -><br> ?highlight_current_line:bool -><br> ?insert_spaces_instead_of_tabs:bool -><br> ?margin:int -><br> ?show_line_markers:bool -><br> ?show_line_numbers:bool -><br> ?show_margin:bool -><br> ?smart_home_end:bool -><br> ?tabs_width:int -><br> ?editable:bool -><br> ?cursor_visible:bool -><br> ?justification:<a href="GtkEnums.html#TYPEjustification">GtkEnums.justification</a> -><br> ?wrap_mode:<a href="GtkEnums.html#TYPEwrap_mode">GtkEnums.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) -><br> ?show:bool -> unit -> <a href="GSourceView.source_view.html">source_view</a></code></pre><br> <a name="2_Misc"></a> <h2>Misc</h2><br> <pre><span class="keyword">val</span> <a name="VALfind_matching_bracket"></a>find_matching_bracket : <code class="type"><a href="GText.iter.html">GText.iter</a> -> <a href="GText.iter.html">GText.iter</a> option</code></pre><pre><span class="keyword">val</span> <a name="VALiter_forward_search"></a>iter_forward_search : <code class="type"><a href="GText.iter.html">GText.iter</a> -><br> SourceViewEnums.source_search_flag list -><br> start:< as_iter : <a href="Gtk.html#TYPEtext_iter">Gtk.text_iter</a>; .. > -><br> stop:< as_iter : <a href="Gtk.html#TYPEtext_iter">Gtk.text_iter</a>; .. > -><br> ?limit:< as_iter : <a href="Gtk.html#TYPEtext_iter">Gtk.text_iter</a>; .. > -><br> string -> (<a href="GText.iter.html">GText.iter</a> * <a href="GText.iter.html">GText.iter</a>) option</code></pre><pre><span class="keyword">val</span> <a name="VALiter_backward_search"></a>iter_backward_search : <code class="type"><a href="GText.iter.html">GText.iter</a> -><br> SourceViewEnums.source_search_flag list -><br> start:< as_iter : <a href="Gtk.html#TYPEtext_iter">Gtk.text_iter</a>; .. > -><br> stop:< as_iter : <a href="Gtk.html#TYPEtext_iter">Gtk.text_iter</a>; .. > -><br> ?limit:< as_iter : <a href="Gtk.html#TYPEtext_iter">Gtk.text_iter</a>; .. > -><br> string -> (<a href="GText.iter.html">GText.iter</a> * <a href="GText.iter.html">GText.iter</a>) option</code></pre></body></html>