GtkSourceView_types.source_tag_table Gtk.obj ->
object
method add : Gtk.text_tag -> unit
method add_tags : GSourceView.source_tag list -> unit
method as_source_tag_table : [ `sourcetagtable ] Gtk.obj
method as_tag_table : Gtk.text_tag_table
method connect : GSourceView.source_tag_table_signals
method get_oid : int
method lookup : string -> Gtk.text_tag option
method misc : GObj.gobject_ops
method remove : Gtk.text_tag -> unit
method remove_source_tags : unit -> unit
method size : int
end