GtkSourceView3_types.source_buffer Gtk.obj ->
object ('a)
  method after : 'a
  method apply_tag :
    callback:(GText.tag -> start:GText.iter -> stop:GText.iter -> unit) ->
    GtkSignal.id
  method begin_user_action : callback:(unit -> unit) -> GtkSignal.id
  method changed : callback:(unit -> unit) -> GtkSignal.id
  method private connect :
    'c.
      (GtkSourceView3_types.source_buffer, 'c) GtkSignal.t ->
      callback:'c -> GtkSignal.id
  method delete_range :
    callback:(start:GText.iter -> stop:GText.iter -> unit) -> GtkSignal.id
  method end_user_action : callback:(unit -> unit) -> GtkSignal.id
  method highlight_updated :
    callback:(Gtk.text_iter -> Gtk.text_iter -> unit) -> GtkSignal.id
  method insert_child_anchor :
    callback:(GText.iter -> Gtk.text_child_anchor -> unit) -> GtkSignal.id
  method insert_pixbuf :
    callback:(GText.iter -> GdkPixbuf.pixbuf -> unit) -> GtkSignal.id
  method insert_text :
    callback:(GText.iter -> string -> unit) -> GtkSignal.id
  method mark_deleted : callback:(Gtk.text_mark -> unit) -> GtkSignal.id
  method mark_set :
    callback:(GText.iter -> Gtk.text_mark -> unit) -> GtkSignal.id
  method modified_changed : callback:(unit -> unit) -> GtkSignal.id
  method private notify :
    'c.
      (GtkSourceView3_types.source_buffer, 'c) Gobject.property ->
      callback:('c -> unit) -> GtkSignal.id
  method notify_can_redo : callback:(bool -> unit) -> GtkSignal.id
  method notify_can_undo : callback:(bool -> unit) -> GtkSignal.id
  method notify_cursor_position : callback:(int -> unit) -> GtkSignal.id
  method notify_has_selection : 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 notify_tag_table :
    callback:(Gtk.text_tag_table -> unit) -> GtkSignal.id
  method remove_tag :
    callback:(GText.tag -> start:GText.iter -> stop:GText.iter -> unit) ->
    GtkSignal.id
  method source_mark_updated :
    callback:(GtkSourceView3_types.source_mark Gtk.obj -> unit) ->
    GtkSignal.id
end