GtkSourceView3_types.source_buffer Gtk.obj ->
object
  val obj : GtkSourceView3_types.source_buffer Gtk.obj
  method add_selection_clipboard : GData.clipboard -> unit
  method apply_tag : GText.tag -> start:GText.iter -> stop:GText.iter -> unit
  method apply_tag_by_name :
    string -> start:GText.iter -> stop:GText.iter -> unit
  method as_buffer : Gtk.text_buffer
  method as_source_buffer : GtkSourceView3_types.source_buffer Gtk.obj
  method backward_iter_to_source_mark :
    ?category:string -> GText.iter -> bool
  method begin_not_undoable_action : unit -> unit
  method begin_user_action : unit -> unit
  method bounds : GText.iter * GText.iter
  method can_redo : bool
  method can_undo : bool
  method char_count : int
  method connect : GSourceView3.source_buffer_signals
  method copy_clipboard : GData.clipboard -> unit
  method create_child_anchor : GText.iter -> GText.child_anchor
  method create_mark :
    ?name:string -> ?left_gravity:bool -> GText.iter -> Gtk.text_mark
  method create_source_mark :
    ?name:string ->
    ?category:string -> GText.iter -> GSourceView3.source_mark
  method create_tag : ?name:string -> GText.tag_property list -> GText.tag
  method cursor_position : int
  method cut_clipboard : ?default_editable:bool -> GData.clipboard -> unit
  method delete : start:GText.iter -> stop:GText.iter -> unit
  method delete_interactive :
    start:GText.iter ->
    stop:GText.iter -> ?default_editable:bool -> unit -> bool
  method delete_mark : GText.mark -> unit
  method delete_selection :
    ?interactive:bool -> ?default_editable:bool -> unit -> bool
  method end_iter : GText.iter
  method end_not_undoable_action : unit -> unit
  method end_user_action : unit -> unit
  method ensure_highlight : start:GText.iter -> stop:GText.iter -> unit
  method forward_iter_to_source_mark : ?category:string -> GText.iter -> bool
  method get_iter : GText.position -> GText.iter
  method get_iter_at_byte : line:int -> int -> GText.iter
  method get_iter_at_char : ?line:int -> int -> GText.iter
  method get_iter_at_mark : GText.mark -> GText.iter
  method get_mark : GText.mark -> Gtk.text_mark
  method get_oid : int
  method get_text :
    ?start:GText.iter ->
    ?stop:GText.iter -> ?slice:bool -> ?visible:bool -> unit -> string
  method has_selection : bool
  method highlight_matching_brackets : bool
  method highlight_syntax : bool
  method insert :
    ?iter:GText.iter ->
    ?tag_names:string list -> ?tags:GText.tag list -> string -> unit
  method insert_child_anchor : GText.iter -> GText.child_anchor -> unit
  method insert_interactive :
    ?iter:GText.iter -> ?default_editable:bool -> string -> bool
  method insert_pixbuf : iter:GText.iter -> pixbuf:GdkPixbuf.pixbuf -> unit
  method insert_range :
    iter:GText.iter -> start:GText.iter -> stop:GText.iter -> unit
  method insert_range_interactive :
    iter:GText.iter ->
    start:GText.iter ->
    stop:GText.iter -> ?default_editable:bool -> unit -> bool
  method iter_backward_to_context_class_toggle : GText.iter -> string -> bool
  method iter_forward_to_context_class_toggle : GText.iter -> string -> bool
  method iter_has_context_class : GText.iter -> string -> bool
  method language : GSourceView3.source_language option
  method line_count : int
  method max_undo_levels : int
  method misc : GObj.gobject_ops
  method modified : bool
  method move_mark : GText.mark -> where:GText.iter -> unit
  method paste_clipboard :
    ?iter:GText.iter -> ?default_editable:bool -> GData.clipboard -> unit
  method place_cursor : where:GText.iter -> unit
  method redo : unit -> unit
  method remove_all_tags : start:GText.iter -> stop:GText.iter -> unit
  method remove_selection_clipboard : GData.clipboard -> unit
  method remove_source_marks :
    ?category:string -> start:GText.iter -> stop:GText.iter -> unit -> unit
  method remove_tag :
    GText.tag -> start:GText.iter -> stop:GText.iter -> unit
  method remove_tag_by_name :
    string -> start:GText.iter -> stop:GText.iter -> unit
  method select_range : GText.iter -> GText.iter -> unit
  method selection_bounds : GText.iter * GText.iter
  method set_highlight_matching_brackets : bool -> unit
  method set_highlight_syntax : bool -> unit
  method set_language : GSourceView3.source_language option -> unit
  method set_max_undo_levels : int -> unit
  method set_modified : bool -> unit
  method set_style_scheme : GSourceView3.source_style_scheme option -> unit
  method set_text : string -> unit
  method set_undo_manager : GSourceView3.source_undo_manager -> unit
  method source_marks_at_iter :
    ?category:string -> GText.iter -> GSourceView3.source_mark list
  method source_marks_at_line :
    ?category:string -> int -> GSourceView3.source_mark list
  method start_iter : GText.iter
  method style_scheme : GSourceView3.source_style_scheme option
  method tag_table : Gtk.text_tag_table
  method undo : unit -> unit
  method undo_manager : GSourceView3.source_undo_manager
end