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