val create_with_buffer : Gtk.text_buffer -> Gtk.text_view Gtk.objval set_buffer : [> `textview ] Gtk.obj -> Gtk.text_buffer -> unitval get_buffer : [> `textview ] Gtk.obj -> Gtk.text_bufferval scroll_to_mark : [> `textview ] Gtk.obj -> Gtk.text_mark -> float -> bool -> float -> float -> unitval scroll_to_iter : [> `textview ] Gtk.obj -> Gtk.text_iter -> float -> bool -> float -> float -> boolval scroll_mark_onscreen : [> `textview ] Gtk.obj -> Gtk.text_mark -> unitval move_mark_onscreen : [> `textview ] Gtk.obj -> Gtk.text_mark -> boolval place_cursor_onscreen : [> `textview ] Gtk.obj -> boolval get_visible_rect : [> `textview ] Gtk.obj -> Gdk.Rectangle.tval get_iter_location : [> `textview ] Gtk.obj -> Gtk.text_iter -> Gdk.Rectangle.tval get_line_at_y : [> `textview ] Gtk.obj -> int -> Gtk.text_iter * intval get_line_yrange : [> `textview ] Gtk.obj -> Gtk.text_iter -> int * intval get_iter_at_location : [> `textview ] Gtk.obj -> int -> int -> Gtk.text_iterval buffer_to_window_coords : [> `textview ] Gtk.obj -> Gtk.Tags.text_window_type -> int -> int -> int * intval window_to_buffer_coords : [> `textview ] Gtk.obj -> Gtk.Tags.text_window_type -> int -> int -> int * intval get_window : [> `textview ] Gtk.obj -> Gtk.Tags.text_window_type -> Gdk.window optionval get_window_type : [> `textview ] Gtk.obj -> Gdk.window -> Gtk.Tags.text_window_typeval set_border_window_size : [> `textview ] Gtk.obj -> [ `BOTTOM | `LEFT | `RIGHT | `TOP ] -> int -> unitval get_border_window_size : [> `textview ] Gtk.obj -> [ `BOTTOM | `LEFT | `RIGHT | `TOP ] -> intval forward_display_line : [> `textview ] Gtk.obj -> Gtk.text_iter -> boolval backward_display_line : [> `textview ] Gtk.obj -> Gtk.text_iter -> boolval forward_display_line_end : [> `textview ] Gtk.obj -> Gtk.text_iter -> boolval backward_display_line_start : [> `textview ] Gtk.obj -> Gtk.text_iter -> boolval starts_display_line : [> `textview ] Gtk.obj -> Gtk.text_iter -> boolval move_visually : [> `textview ] Gtk.obj -> Gtk.text_iter -> int -> boolval add_child_at_anchor : [> `textview ] Gtk.obj -> [> `widget ] Gtk.obj -> Gtk.text_child_anchor -> unitval add_child_in_window : [> `textview ] Gtk.obj -> [> `widget ] Gtk.obj -> Gtk.Tags.text_window_type -> int -> int -> unitval move_child : [> `textview ] Gtk.obj -> [> `widget ] Gtk.obj -> int -> int -> unit