Frama-C API - source_buffer_signals
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 ; highlight_updated : callback:(Gtk.text_iter -> Gtk.text_iter -> 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 ; notify_can_redo : callback:(bool -> unit) -> GtkSignal.id ; notify_can_undo : callback:(bool -> unit) -> GtkSignal.id ; notify_cursor_position : callback:(int -> unit) -> GtkSignal.id ; notify_has_selection : callback:(bool -> unit) -> GtkSignal.id ; notify_highlight_matching_brackets : callback:(bool -> unit) -> GtkSignal.id ; notify_highlight_syntax : callback:(bool -> unit) -> GtkSignal.id ; notify_max_undo_levels : callback:(int -> unit) -> GtkSignal.id ; notify_tag_table : callback:(Gtk.text_tag_table -> unit) -> GtkSignal.id ; remove_tag : callback:(GText.tag -> start:GText.iter -> stop:GText.iter -> unit) -> GtkSignal.id ; source_mark_updated : callback:(GtkSourceView3_types.source_mark Gtk.obj -> unit) -> GtkSignal.id.. > as 'amethod apply_tag : callback: (GText.tag -> start:GText.iter -> stop:GText.iter -> unit) -> GtkSignal.idmethod begin_user_action : callback:(unit -> unit) -> GtkSignal.idmethod changed : callback:(unit -> unit) -> GtkSignal.idmethod private connect : 'c. (GtkSourceView3_types.source_buffer, 'c) GtkSignal.t -> callback:'c -> GtkSignal.idmethod delete_range : callback:(start:GText.iter -> stop:GText.iter -> unit) -> GtkSignal.idmethod end_user_action : callback:(unit -> unit) -> GtkSignal.idmethod highlight_updated : callback:(Gtk.text_iter -> Gtk.text_iter -> unit) -> GtkSignal.idmethod insert_child_anchor : callback: (GText.iter -> Gtk.text_child_anchor -> unit) -> GtkSignal.idmethod insert_pixbuf : callback:(GText.iter -> GdkPixbuf.pixbuf -> unit) -> GtkSignal.idmethod insert_text : callback:(GText.iter -> string -> unit) -> GtkSignal.idmethod mark_deleted : callback:(Gtk.text_mark -> unit) -> GtkSignal.idmethod mark_set : callback:(GText.iter -> Gtk.text_mark -> unit) -> GtkSignal.idmethod modified_changed : callback:(unit -> unit) -> GtkSignal.idmethod private notify : 'c. (GtkSourceView3_types.source_buffer, 'c) Gobject.property -> callback:('c -> unit) -> GtkSignal.idmethod notify_can_redo : callback:(bool -> unit) -> GtkSignal.idmethod notify_can_undo : callback:(bool -> unit) -> GtkSignal.idmethod notify_cursor_position : callback:(int -> unit) -> GtkSignal.idmethod notify_has_selection : callback:(bool -> unit) -> GtkSignal.idmethod notify_highlight_matching_brackets : callback:(bool -> unit) -> GtkSignal.idmethod notify_highlight_syntax : callback:(bool -> unit) -> GtkSignal.idmethod notify_max_undo_levels : callback:(int -> unit) -> GtkSignal.idmethod notify_tag_table : callback:(Gtk.text_tag_table -> unit) -> GtkSignal.idmethod remove_tag : callback: (GText.tag -> start:GText.iter -> stop:GText.iter -> unit) -> GtkSignal.idmethod source_mark_updated : callback: (GtkSourceView3_types.source_mark Gtk.obj -> unit) -> GtkSignal.id 