<!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="GSourceView.source_tag_table_signals.html"> <link rel="next" href="GSourceView.source_style_scheme.html"> <link rel="Up" href="GSourceView.html"> <title>LablGTK : GSourceView.source_tag_table</title> </head> <body> <div class="navbar"><a href="GSourceView.source_tag_table_signals.html">Previous</a> <a href="GSourceView.html">Up</a> <a href="GSourceView.source_style_scheme.html">Next</a> </div> <center><h1>Class <a href="type_GSourceView.source_tag_table.html">GSourceView.source_tag_table</a></h1></center> <br> <pre><span class="keyword">class</span> <a name="TYPEsource_tag_table"></a>source_tag_table : <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><b>Inherits</b><ul> <li><a href="GText.tag_table_skel.html"><code class="code">GText.tag_table_skel</code></a></li> </ul> <hr width="100%"> <pre><span class="keyword">method</span> <a name="METHODas_source_tag_table"></a>as_source_tag_table : <code class="type">[ `sourcetagtable ] <a href="Gtk.html#TYPEobj">Gtk.obj</a></code></pre><pre><span class="keyword">method</span> <a name="METHODconnect"></a>connect : <code class="type"><a href="GSourceView.source_tag_table_signals.html">source_tag_table_signals</a></code></pre><pre><span class="keyword">method</span> <a name="METHODmisc"></a>misc : <code class="type"><a href="GObj.gobject_ops.html">GObj.gobject_ops</a></code></pre><pre><span class="keyword">method</span> <a name="METHODremove_source_tags"></a>remove_source_tags : <code class="type">unit -> unit</code></pre><pre><span class="keyword">method</span> <a name="METHODadd_tags"></a>add_tags : <code class="type"><a href="GSourceView.source_tag.html">source_tag</a> list -> unit</code></pre></body></html>