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