[> GtkSourceView_types.source_tag_table ] Gtk.obj ->
object ('a)
method after : 'a
method changed : callback:(unit -> unit) -> GtkSignal.id
method tag_added : callback:(Gtk.text_tag -> unit) -> GtkSignal.id
method tag_changed :
callback:(Gtk.text_tag -> size:bool -> unit) -> GtkSignal.id
method tag_removed : callback:(Gtk.text_tag -> unit) -> GtkSignal.id
end