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 'amethod apply_tag : callback:(tag -> start:iter -> stop:iter -> unit) ->
GtkSignal.idmethod begin_user_action : callback:(unit -> unit) -> GtkSignal.idmethod changed : callback:(unit -> unit) -> GtkSignal.idmethod private connect : 'c. ('b, 'c) GtkSignal.t ->
callback:'c ->
GtkSignal.idmethod delete_range : callback:(start:iter -> stop:iter -> unit) ->
GtkSignal.idmethod end_user_action : callback:(unit -> unit) -> GtkSignal.idmethod insert_child_anchor : callback:(iter -> Gtk.text_child_anchor -> unit) ->
GtkSignal.idmethod insert_pixbuf : callback:(iter -> GdkPixbuf.pixbuf -> unit) ->
GtkSignal.idmethod insert_text : callback:(iter -> string -> unit) -> GtkSignal.idmethod mark_deleted : callback:(Gtk.text_mark -> unit) -> GtkSignal.idmethod mark_set : callback:(iter -> Gtk.text_mark -> unit) -> GtkSignal.idmethod modified_changed : callback:(unit -> unit) -> GtkSignal.idmethod private notify : 'c. ('b, 'c) Gobject.property ->
callback:('c -> 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.idmethod remove_tag : callback:(tag -> start:iter -> stop:iter -> unit) ->
GtkSignal.id