object ('a)
method after : 'a
method apply_tag :
callback:(GText.tag -> start:GText.iter -> stop:GText.iter -> unit) ->
GtkSignal.id
method begin_user_action : callback:(unit -> unit) -> GtkSignal.id
method changed : callback:(unit -> unit) -> GtkSignal.id
method private connect :
'b. ('c, 'b) GtkSignal.t -> callback:'b -> GtkSignal.id
method delete_range :
callback:(start:GText.iter -> stop:GText.iter -> unit) -> GtkSignal.id
method end_user_action : callback:(unit -> unit) -> GtkSignal.id
method insert_child_anchor :
callback:(GText.iter -> Gtk.text_child_anchor -> unit) -> GtkSignal.id
method insert_pixbuf :
callback:(GText.iter -> GdkPixbuf.pixbuf -> unit) -> GtkSignal.id
method insert_text :
callback:(GText.iter -> string -> unit) -> GtkSignal.id
method mark_deleted : callback:(Gtk.text_mark -> unit) -> GtkSignal.id
method mark_set :
callback:(GText.iter -> Gtk.text_mark -> unit) -> GtkSignal.id
method modified_changed : callback:(unit -> unit) -> GtkSignal.id
method remove_tag :
callback:(GText.tag -> start:GText.iter -> stop:GText.iter -> unit) ->
GtkSignal.id
end