Class type GText.buffer_signals_skel_type

class type buffer_signals_skel_type = object .. end

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 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 remove_tag : callback:(tag -> start:iter -> stop:iter -> 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