method begin_user_action : callback:(unit -> unit) -> GtkSignal.idmethod changed : callback:(unit -> unit) -> GtkSignal.idmethod private virtual connect : 'b. ([> `textbuffer ] as 'a, 'b) GtkSignal.t ->
callback:'b ->
GtkSignal.idmethod end_user_action : callback:(unit -> unit) -> GtkSignal.idmethod mark_deleted : callback:(Gtk.text_mark -> unit) -> GtkSignal.idmethod modified_changed : callback:(unit -> unit) -> GtkSignal.idmethod private virtual notify : 'b. ('a, 'b) Gobject.property ->
callback:('b -> unit) ->
GtkSignal.idmethod notify_cursor_position : callback:(int -> unit) -> GtkSignal.idmethod notify_has_selection : callback:(bool -> unit) -> GtkSignal.idmethod notify_tag_table : callback:(Gtk.text_tag_table -> unit) -> GtkSignal.id