[> GtkSourceView_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 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 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 toggle_overwrite : callback:(unit -> unit) -> GtkSignal.id
  method undo : callback:(unit -> unit) -> GtkSignal.id
end