object
  method private virtual connect :
    'b.
      ([> `sourcebuffer ] as 'a, 'b) GtkSignal.t ->
      callback:'-> GtkSignal.id
  method highlight_updated :
    callback:(Gtk.text_iter -> Gtk.text_iter -> unit) -> GtkSignal.id
  method private virtual notify :
    'b. ('a, 'b) Gobject.property -> callback:('-> unit) -> GtkSignal.id
  method notify_can_redo : callback:(bool -> unit) -> GtkSignal.id
  method notify_can_undo : callback:(bool -> unit) -> GtkSignal.id
  method notify_highlight_matching_brackets :
    callback:(bool -> unit) -> GtkSignal.id
  method notify_highlight_syntax : callback:(bool -> unit) -> GtkSignal.id
  method notify_max_undo_levels : callback:(int -> unit) -> GtkSignal.id
  method source_mark_updated :
    callback:(GtkSourceView3_types.source_mark Gobject.obj -> unit) ->
    GtkSignal.id
end