object
  method private virtual connect :
    'b.
      ([> `sourceview ] as 'a, 'b) GtkSignal.t -> callback:'-> GtkSignal.id
  method line_mark_activated :
    callback:(Gtk.text_iter -> GdkEvent.any -> unit) -> GtkSignal.id
  method move_lines : callback:(bool -> int -> unit) -> GtkSignal.id
  method move_words : callback:(int -> unit) -> GtkSignal.id
  method private virtual notify :
    'b. ('a, 'b) Gobject.property -> callback:('-> unit) -> GtkSignal.id
  method notify_auto_indent : callback:(bool -> unit) -> GtkSignal.id
  method notify_highlight_current_line :
    callback:(bool -> 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_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 redo : 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 undo : callback:(unit -> unit) -> GtkSignal.id
end