GText.buffer_signals_type.3o

Langue: en

Version: 299222 (debian - 07/07/09)

Section: 3 (Bibliothèques de fonctions)

NAME

GText.buffer_signals_type - no description

Class type

Class type GText.buffer_signals_type

Documentation

class type 'a buffer_signals_type = object end

method after : < after : 'a; apply_tag : callback:(GText.tag -> start:GText.iter -> stop:GText.iter -> unit) -> GtkSignal.id; begin_user_action : callback:(unit -> unit) -> GtkSignal.id; changed : callback:(unit -> unit) -> GtkSignal.id; delete_range : callback:(start:GText.iter -> stop:GText.iter -> unit) -> GtkSignal.id; end_user_action : callback:(unit -> unit) -> GtkSignal.id; insert_child_anchor : callback:(GText.iter -> Gtk.text_child_anchor -> unit) -> GtkSignal.id; insert_pixbuf : callback:(GText.iter -> GdkPixbuf.pixbuf -> unit) -> GtkSignal.id; insert_text : callback:(GText.iter -> string -> unit) -> GtkSignal.id; mark_deleted : callback:(Gtk.text_mark -> unit) -> GtkSignal.id; mark_set : callback:(GText.iter -> Gtk.text_mark -> unit) -> GtkSignal.id; modified_changed : callback:(unit -> unit) -> GtkSignal.id; remove_tag : callback:(GText.tag -> start:GText.iter -> stop:GText.iter -> unit) -> GtkSignal.id; .. > as 'a

method private connect : 'b. ('c, 'b) GtkSignal.t -> callback:'b -> GtkSignal.id