man GText.tag () - A tag that can be applied to text in a GText.buffer

NAME

GText.tag - A tag that can be applied to text in a GText.buffer

Class

Class GText.tag

Documentation

class tag : Gtk.text_tag -> object end

A tag that can be applied to text in a GText.buffer

Parameters:

""

Gtk.text_tag

method as_tag : Gtk.text_tag

method connect : GText.tag_signals

method event : 'a. 'a Gtk.obj -> GdkEvent.any -> Gtk.text_iter -> bool

method get_oid : int

method priority : int

method set_priority : int -> unit

method set_properties : GText.tag_property list -> unit

method set_property : GText.tag_property -> unit

method get_property : 'b. ([ `texttag ], 'b) Gobject.property -> 'b