[> `textbuffer ] Gtk.obj ->
object
  method add_selection_clipboard : GData.clipboard -> unit
  method apply_tag : tag -> start:iter -> stop:iter -> unit
  method apply_tag_by_name : string -> start:iter -> stop:iter -> unit
  method as_buffer : Gtk.text_buffer
  method begin_user_action : unit -> unit
  method bounds : iter * iter
  method char_count : int
  method connect : GText.buffer_signals
  method copy_clipboard : GData.clipboard -> unit
  method create_child_anchor : iter -> child_anchor
  method create_mark :
    ?name:string -> ?left_gravity:bool -> iter -> Gtk.text_mark
  method create_tag : ?name:string -> tag_property list -> tag
  method cursor_position : int
  method cut_clipboard : ?default_editable:bool -> GData.clipboard -> unit
  method delete : start:iter -> stop:iter -> unit
  method delete_interactive :
    start:iter -> stop:iter -> ?default_editable:bool -> unit -> bool
  method delete_mark : mark -> unit
  method delete_selection :
    ?interactive:bool -> ?default_editable:bool -> unit -> bool
  method end_iter : iter
  method end_user_action : unit -> unit
  method get_iter : position -> iter
  method get_iter_at_byte : line:int -> int -> iter
  method get_iter_at_char : ?line:int -> int -> iter
  method get_iter_at_mark : mark -> iter
  method get_mark : mark -> Gtk.text_mark
  method get_oid : int
  method get_text :
    ?start:iter ->
    ?stop:iter -> ?slice:bool -> ?visible:bool -> unit -> string
  method has_selection : bool
  method insert :
    ?iter:iter -> ?tag_names:string list -> ?tags:tag list -> string -> unit
  method insert_child_anchor : iter -> child_anchor -> unit
  method insert_interactive :
    ?iter:iter -> ?default_editable:bool -> string -> bool
  method insert_pixbuf : iter:iter -> pixbuf:GdkPixbuf.pixbuf -> unit
  method insert_range : iter:iter -> start:iter -> stop:iter -> unit
  method insert_range_interactive :
    iter:iter ->
    start:iter -> stop:iter -> ?default_editable:bool -> unit -> bool
  method line_count : int
  method modified : bool
  method move_mark : mark -> where:iter -> unit
  method paste_clipboard :
    ?iter:iter -> ?default_editable:bool -> GData.clipboard -> unit
  method place_cursor : where:iter -> unit
  method remove_all_tags : start:iter -> stop:iter -> unit
  method remove_selection_clipboard : GData.clipboard -> unit
  method remove_tag : tag -> start:iter -> stop:iter -> unit
  method remove_tag_by_name : string -> start:iter -> stop:iter -> unit
  method select_range : iter -> iter -> unit
  method selection_bounds : iter * iter
  method set_modified : bool -> unit
  method set_text : string -> unit
  method start_iter : iter
  method tag_table : Gtk.text_tag_table
end