[> GtkSourceView3_types.source_view ] Gtk.obj ->
object ('a)
  method after : '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_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_input_hints :
    callback:(GtkEnums.input_hints -> unit) -> GtkSignal.id
  method notify_input_purpose :
    callback:(GtkEnums.input_purpose -> 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_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 populate_popup : callback:(Gtk.menu Gtk.obj -> unit) -> GtkSignal.id
  method redo : callback:(unit -> unit) -> GtkSignal.id
  method set_anchor : callback:(unit -> unit) -> GtkSignal.id
  method set_scroll_adjustments :
    callback:(GData.adjustment option -> GData.adjustment option -> 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
end