class buffer_skel : [> `textbuffer ] Gtk.obj -> object .. end
Stores attributed text for display in a GText.view
GTK documentation: GtkTextBuffer
method as_buffer : Gtk.text_buffer
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 begin_user_action : unit -> unit
method bounds : iter * iter
method char_count : int
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
left_gravity : default value is true
method create_tag : ?name:string -> tag_property list -> tag
method cut_clipboard : ?default_editable:bool -> GData.clipboard -> unit
default_editable : default value is true
method delete : start:iter -> stop:iter -> unit
method delete_interactive : start:iter -> stop:iter -> ?default_editable:bool -> unit -> bool
default_editable : default value is true
method delete_mark : mark -> unit
method delete_selection : ?interactive:bool -> ?default_editable:bool -> unit -> bool
interactive : default value is true
default_editable : default value is true
method end_iter : iter
method end_user_action : unit -> unit
method get_iter : position -> iter
method get_iter_at_char : ?line:int -> int -> iter
method get_iter_at_byte : 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
slice : default value is false
visible : default value is false
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
default_editable : default value is true
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
default_editable : default value is true
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
default_editable : default value is true
method place_cursor : where:iter -> unit
method select_range : iter -> iter -> unit
Since GTK 2.4
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 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
method has_selection : bool
since Gtk 2.10
method cursor_position : int
since Gtk 2.10