object
method apply_tag :
callback:(tag -> start:iter -> stop:iter -> unit) -> GtkSignal.id
method begin_user_action : callback:(unit -> unit) -> GtkSignal.id
method changed : callback:(unit -> unit) -> GtkSignal.id
method private virtual connect :
'a.
([> `textbuffer ] as 'c, 'a) GtkSignal.t -> callback:'a -> GtkSignal.id
method delete_range :
callback:(start:iter -> stop:iter -> unit) -> GtkSignal.id
method end_user_action : callback:(unit -> unit) -> GtkSignal.id
method insert_child_anchor :
callback:(iter -> Gtk.text_child_anchor -> unit) -> GtkSignal.id
method insert_pixbuf :
callback:(iter -> GdkPixbuf.pixbuf -> unit) -> GtkSignal.id
method insert_text : callback:(iter -> string -> unit) -> GtkSignal.id
method mark_deleted : callback:(Gtk.text_mark -> unit) -> GtkSignal.id
method mark_set : callback:(iter -> Gtk.text_mark -> unit) -> GtkSignal.id
method modified_changed : callback:(unit -> unit) -> GtkSignal.id
method private virtual notify :
'b. ('c, 'b) Gobject.property -> callback:('b -> unit) -> GtkSignal.id
method notify_cursor_position : callback:(int -> unit) -> GtkSignal.id
method notify_has_selection : callback:(bool -> unit) -> GtkSignal.id
method notify_tag_table :
callback:(Gtk.text_tag_table -> unit) -> GtkSignal.id
method remove_tag :
callback:(tag -> start:iter -> stop:iter -> unit) -> GtkSignal.id
end