module View: sig .. end
include GtkTextProps.TextView
val create_with_buffer : Gtk.text_buffer -> Gtk.text_view Gtk.obj
val set_buffer : [> `textview ] Gtk.obj -> Gtk.text_buffer -> unit
val get_buffer : [> `textview ] Gtk.obj -> Gtk.text_buffer
val scroll_to_mark : [> `textview ] Gtk.obj ->
Gtk.text_mark -> float -> bool -> float -> float -> unit
val scroll_to_iter : [> `textview ] Gtk.obj ->
Gtk.text_iter -> float -> bool -> float -> float -> bool
val scroll_mark_onscreen : [> `textview ] Gtk.obj -> Gtk.text_mark -> unit
val move_mark_onscreen : [> `textview ] Gtk.obj -> Gtk.text_mark -> bool
val place_cursor_onscreen : [> `textview ] Gtk.obj -> bool
val get_visible_rect : [> `textview ] Gtk.obj -> Gdk.Rectangle.t
val get_iter_location : [> `textview ] Gtk.obj -> Gtk.text_iter -> Gdk.Rectangle.t
val get_line_at_y : [> `textview ] Gtk.obj -> int -> Gtk.text_iter * int
val get_line_yrange : [> `textview ] Gtk.obj -> Gtk.text_iter -> int * int
val get_iter_at_location : [> `textview ] Gtk.obj -> int -> int -> Gtk.text_iter
val buffer_to_window_coords : [> `textview ] Gtk.obj ->
Gtk.Tags.text_window_type -> int -> int -> int * int
val window_to_buffer_coords : [> `textview ] Gtk.obj ->
Gtk.Tags.text_window_type -> int -> int -> int * int
val get_window : [> `textview ] Gtk.obj -> Gtk.Tags.text_window_type -> Gdk.window option
val get_window_type : [> `textview ] Gtk.obj -> Gdk.window -> Gtk.Tags.text_window_type
val set_border_window_size : [> `textview ] Gtk.obj -> [ `BOTTOM | `LEFT | `RIGHT | `TOP ] -> int -> unit
val get_border_window_size : [> `textview ] Gtk.obj -> [ `BOTTOM | `LEFT | `RIGHT | `TOP ] -> int
val forward_display_line : [> `textview ] Gtk.obj -> Gtk.text_iter -> bool
val backward_display_line : [> `textview ] Gtk.obj -> Gtk.text_iter -> bool
val forward_display_line_end : [> `textview ] Gtk.obj -> Gtk.text_iter -> bool
val backward_display_line_start : [> `textview ] Gtk.obj -> Gtk.text_iter -> bool
val starts_display_line : [> `textview ] Gtk.obj -> Gtk.text_iter -> bool
val move_visually : [> `textview ] Gtk.obj -> Gtk.text_iter -> int -> bool
val add_child_at_anchor : [> `textview ] Gtk.obj ->
[> `widget ] Gtk.obj -> Gtk.text_child_anchor -> unit
val add_child_in_window : [> `textview ] Gtk.obj ->
[> `widget ] Gtk.obj -> Gtk.Tags.text_window_type -> int -> int -> unit
val move_child : [> `textview ] Gtk.obj -> [> `widget ] Gtk.obj -> int -> int -> unit