Class OgtkTextProps.text_buffer_sigs

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