Class GSourceView.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 'a
method copy_clipboard : callback:(unit -> unit) -> GtkSignal.id
method cut_clipboard : callback:(unit -> unit) -> GtkSignal.id
method delete_from_cursor : callback:(Gtk.Tags.delete_type -> int -> unit) ->
GtkSignal.id
method destroy : callback:(unit -> unit) -> GtkSignal.id
method insert_at_cursor : callback:(string -> unit) -> GtkSignal.id
method line_mark_activated : callback:(Gtk.text_iter -> GdkEvent.any -> unit) ->
GtkSignal.id
method move_cursor : callback:
(Gtk.Tags.movement_step -> int -> extend:bool -> unit) ->
GtkSignal.id
method move_focus : callback:(Gtk.Tags.direction_type -> unit) -> GtkSignal.id
method move_lines : callback:(bool -> int -> unit) -> GtkSignal.id
method move_words : callback:(int -> unit) -> GtkSignal.id
method notify_accepts_tab : callback:(bool -> unit) -> GtkSignal.id
method notify_auto_indent : callback:(bool -> unit) -> GtkSignal.id
method notify_bottom_margin : callback:(int -> unit) -> GtkSignal.id
method notify_cursor_visible : callback:(bool -> unit) -> GtkSignal.id
method notify_editable : callback:(bool -> unit) -> GtkSignal.id
method notify_hadjustment : callback:(GData.adjustment -> unit) -> GtkSignal.id
method notify_highlight_current_line : callback:(bool -> unit) -> GtkSignal.id
method notify_im_module : callback:(string -> unit) -> GtkSignal.id
method notify_indent : callback:(int -> unit) -> GtkSignal.id
method notify_indent_on_tab : callback:(bool -> unit) -> GtkSignal.id
method notify_indent_width : callback:(int -> unit) -> GtkSignal.id
method notify_insert_spaces_instead_of_tabs : callback:(bool -> unit) ->
GtkSignal.id
method notify_justification : callback:(GtkEnums.justification -> unit) ->
GtkSignal.id
method notify_left_margin : callback:(int -> unit) -> GtkSignal.id
method notify_monospace : callback:(bool -> unit) -> GtkSignal.id
method notify_overwrite : callback:(bool -> unit) -> GtkSignal.id
method notify_pixels_above_lines : callback:(int -> unit) -> GtkSignal.id
method notify_pixels_below_lines : callback:(int -> unit) -> GtkSignal.id
method notify_pixels_inside_wrap : callback:(int -> unit) -> GtkSignal.id
method notify_populate_all : callback:(bool -> unit) -> GtkSignal.id
method notify_right_margin : callback:(int -> unit) -> GtkSignal.id
method notify_right_margin_position : callback:(int -> unit) -> GtkSignal.id
method notify_show_line_marks : callback:(bool -> unit) -> GtkSignal.id
method notify_show_line_numbers : callback:(bool -> unit) -> GtkSignal.id
method notify_show_right_margin : callback:(bool -> unit) -> GtkSignal.id
method notify_smart_home_end : callback:
(SourceView3Enums.source_smart_home_end_type ->
unit) ->
GtkSignal.id
method notify_tab_width : callback:(int -> unit) -> GtkSignal.id
method notify_top_margin : callback:(int -> unit) -> GtkSignal.id
method notify_vadjustment : callback:(GData.adjustment -> unit) -> GtkSignal.id
method notify_wrap_mode : callback:(GtkEnums.wrap_mode -> unit) -> GtkSignal.id
method page_horizontally : callback:(int -> extend:bool -> unit) ->
GtkSignal.id
method paste_clipboard : callback:(unit -> unit) -> GtkSignal.id
method redo : callback:(unit -> unit) -> GtkSignal.id
method set_anchor : callback:(unit -> unit) -> GtkSignal.id
method show_completion : callback:(unit -> unit) -> GtkSignal.id
method smart_home_end : callback:(Gtk.text_iter -> int -> unit) -> GtkSignal.id
method toggle_overwrite : callback:(unit -> unit) -> GtkSignal.id
method undo : callback:(unit -> unit) -> GtkSignal.id