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