Frama-C API - source_view_signals
method after : < after : 'a ; copy_clipboard : callback:(unit -> unit) -> GtkSignal.id ; cut_clipboard : callback:(unit -> unit) -> GtkSignal.id ; delete_from_cursor : callback:(Gtk.Tags.delete_type -> int -> unit) -> GtkSignal.id ; destroy : callback:(unit -> unit) -> GtkSignal.id ; insert_at_cursor : callback:(string -> unit) -> GtkSignal.id ; line_mark_activated : callback:(Gtk.text_iter -> GdkEvent.any -> unit) -> GtkSignal.id ; move_cursor : callback:(Gtk.Tags.movement_step -> int -> extend:bool -> unit) -> GtkSignal.id ; move_focus : callback:(Gtk.Tags.direction_type -> unit) -> GtkSignal.id ; move_lines : callback:(bool -> int -> unit) -> GtkSignal.id ; move_words : callback:(int -> unit) -> GtkSignal.id ; notify_accepts_tab : callback:(bool -> unit) -> GtkSignal.id ; notify_auto_indent : callback:(bool -> unit) -> GtkSignal.id ; notify_bottom_margin : callback:(int -> unit) -> GtkSignal.id ; notify_cursor_visible : callback:(bool -> unit) -> GtkSignal.id ; notify_editable : callback:(bool -> unit) -> GtkSignal.id ; notify_hadjustment : callback:(GData.adjustment -> unit) -> GtkSignal.id ; notify_highlight_current_line : callback:(bool -> unit) -> GtkSignal.id ; notify_im_module : callback:(string -> unit) -> GtkSignal.id ; notify_indent : callback:(int -> unit) -> GtkSignal.id ; notify_indent_on_tab : callback:(bool -> unit) -> GtkSignal.id ; notify_indent_width : callback:(int -> unit) -> GtkSignal.id ; notify_input_hints : callback:(GtkEnums.input_hints -> unit) -> GtkSignal.id ; notify_input_purpose : callback:(GtkEnums.input_purpose -> unit) -> GtkSignal.id ; notify_insert_spaces_instead_of_tabs : callback:(bool -> unit) -> GtkSignal.id ; notify_justification : callback:(GtkEnums.justification -> unit) -> GtkSignal.id ; notify_left_margin : callback:(int -> unit) -> GtkSignal.id ; notify_monospace : callback:(bool -> unit) -> GtkSignal.id ; notify_overwrite : callback:(bool -> unit) -> GtkSignal.id ; notify_pixels_above_lines : callback:(int -> unit) -> GtkSignal.id ; notify_pixels_below_lines : callback:(int -> unit) -> GtkSignal.id ; notify_pixels_inside_wrap : callback:(int -> unit) -> GtkSignal.id ; notify_populate_all : callback:(bool -> unit) -> GtkSignal.id ; notify_right_margin : callback:(int -> unit) -> GtkSignal.id ; notify_right_margin_position : callback:(int -> unit) -> GtkSignal.id ; notify_show_line_marks : callback:(bool -> unit) -> GtkSignal.id ; notify_show_line_numbers : callback:(bool -> unit) -> GtkSignal.id ; notify_show_right_margin : callback:(bool -> unit) -> GtkSignal.id ; notify_smart_home_end : callback:(SourceView3Enums.source_smart_home_end_type -> unit) -> GtkSignal.id ; notify_tab_width : callback:(int -> unit) -> GtkSignal.id ; notify_top_margin : callback:(int -> unit) -> GtkSignal.id ; notify_vadjustment : callback:(GData.adjustment -> unit) -> GtkSignal.id ; notify_wrap_mode : callback:(GtkEnums.wrap_mode -> unit) -> GtkSignal.id ; page_horizontally : callback:(int -> extend:bool -> unit) -> GtkSignal.id ; paste_clipboard : callback:(unit -> unit) -> GtkSignal.id ; populate_popup : callback:(Gtk.menu Gtk.obj -> unit) -> GtkSignal.id ; redo : callback:(unit -> unit) -> GtkSignal.id ; set_anchor : callback:(unit -> unit) -> GtkSignal.id ; show_completion : callback:(unit -> unit) -> GtkSignal.id ; smart_home_end : callback:(Gtk.text_iter -> int -> unit) -> GtkSignal.id ; toggle_overwrite : callback:(unit -> unit) -> GtkSignal.id ; undo : callback:(unit -> unit) -> GtkSignal.id.. > as 'amethod copy_clipboard : callback:(unit -> unit) -> GtkSignal.idmethod cut_clipboard : callback:(unit -> unit) -> GtkSignal.idmethod delete_from_cursor : callback:(Gtk.Tags.delete_type -> int -> unit) -> GtkSignal.idmethod destroy : callback:(unit -> unit) -> GtkSignal.idmethod insert_at_cursor : callback:(string -> unit) -> GtkSignal.idmethod line_mark_activated : callback:(Gtk.text_iter -> GdkEvent.any -> unit) -> GtkSignal.idmethod move_cursor : callback: (Gtk.Tags.movement_step -> int -> extend:bool -> unit) -> GtkSignal.idmethod move_focus : callback:(Gtk.Tags.direction_type -> unit) -> GtkSignal.idmethod move_lines : callback:(bool -> int -> unit) -> GtkSignal.idmethod move_words : callback:(int -> unit) -> GtkSignal.idmethod notify_accepts_tab : callback:(bool -> unit) -> GtkSignal.idmethod notify_auto_indent : callback:(bool -> unit) -> GtkSignal.idmethod notify_bottom_margin : callback:(int -> unit) -> GtkSignal.idmethod notify_cursor_visible : callback:(bool -> unit) -> GtkSignal.idmethod notify_editable : callback:(bool -> unit) -> GtkSignal.idmethod notify_hadjustment : callback:(GData.adjustment -> unit) -> GtkSignal.idmethod notify_highlight_current_line : callback:(bool -> unit) -> GtkSignal.idmethod notify_im_module : callback:(string -> unit) -> GtkSignal.idmethod notify_indent : callback:(int -> unit) -> GtkSignal.idmethod notify_indent_on_tab : callback:(bool -> unit) -> GtkSignal.idmethod notify_indent_width : callback:(int -> unit) -> GtkSignal.idmethod notify_insert_spaces_instead_of_tabs : callback:(bool -> unit) -> GtkSignal.idmethod notify_justification : callback:(GtkEnums.justification -> unit) -> GtkSignal.idmethod notify_left_margin : callback:(int -> unit) -> GtkSignal.idmethod notify_monospace : callback:(bool -> unit) -> GtkSignal.idmethod notify_overwrite : callback:(bool -> unit) -> GtkSignal.idmethod notify_pixels_above_lines : callback:(int -> unit) -> GtkSignal.idmethod notify_pixels_below_lines : callback:(int -> unit) -> GtkSignal.idmethod notify_pixels_inside_wrap : callback:(int -> unit) -> GtkSignal.idmethod notify_populate_all : callback:(bool -> unit) -> GtkSignal.idmethod notify_right_margin : callback:(int -> unit) -> GtkSignal.idmethod notify_right_margin_position : callback:(int -> unit) -> GtkSignal.idmethod notify_show_line_marks : callback:(bool -> unit) -> GtkSignal.idmethod notify_show_line_numbers : callback:(bool -> unit) -> GtkSignal.idmethod notify_show_right_margin : callback:(bool -> unit) -> GtkSignal.idmethod notify_smart_home_end : callback: (SourceView3Enums.source_smart_home_end_type -> unit) -> GtkSignal.idmethod notify_tab_width : callback:(int -> unit) -> GtkSignal.idmethod notify_top_margin : callback:(int -> unit) -> GtkSignal.idmethod notify_vadjustment : callback:(GData.adjustment -> unit) -> GtkSignal.idmethod notify_wrap_mode : callback:(GtkEnums.wrap_mode -> unit) -> GtkSignal.idmethod page_horizontally : callback:(int -> extend:bool -> unit) -> GtkSignal.idmethod paste_clipboard : callback:(unit -> unit) -> GtkSignal.idmethod redo : callback:(unit -> unit) -> GtkSignal.idmethod set_anchor : callback:(unit -> unit) -> GtkSignal.idmethod show_completion : callback:(unit -> unit) -> GtkSignal.idmethod smart_home_end : callback:(Gtk.text_iter -> int -> unit) -> GtkSignal.idmethod toggle_overwrite : callback:(unit -> unit) -> GtkSignal.idmethod undo : callback:(unit -> unit) -> GtkSignal.id 