([> Gtk.text_view ] as 'a) Gtk.obj ->
object
  val obj : 'a Gtk.obj
  method accepts_tab : bool
  method add_child_at_anchor : GObj.widget -> child_anchor -> unit
  method add_child_in_window :
    child:GObj.widget ->
    which_window:Gtk.Tags.text_window_type -> x:int -> y:int -> unit
  method as_view : Gtk.text_view Gtk.obj
  method as_widget : Gtk.widget Gtk.obj
  method backward_display_line : iter -> bool
  method backward_display_line_start : iter -> bool
  method bottom_margin : int
  method buffer : buffer
  method buffer_to_window_coords :
    tag:Gtk.Tags.text_window_type -> x:int -> y:int -> int * int
  method coerce : GObj.widget
  method connect : GText.view_signals
  method cursor_visible : bool
  method destroy : unit -> unit
  method drag : GObj.drag_ops
  method editable : bool
  method event : GObj.event_ops
  method forward_display_line : iter -> bool
  method forward_display_line_end : iter -> bool
  method get_border_window_size : [ `BOTTOM | `LEFT | `RIGHT | `TOP ] -> int
  method get_iter_at_location : x:int -> y:int -> iter
  method get_iter_location : iter -> Gdk.Rectangle.t
  method get_line_at_y : int -> iter * int
  method get_line_yrange : iter -> int * int
  method get_oid : int
  method get_window : Gtk.Tags.text_window_type -> Gdk.window option
  method get_window_type : Gdk.window -> Gtk.Tags.text_window_type
  method im_module : string
  method indent : int
  method input_hints : GtkEnums.input_hints
  method input_purpose : GtkEnums.input_purpose
  method justification : Gtk.Tags.justification
  method left_margin : int
  method misc : GObj.misc_ops
  method monospace : bool
  method move_child : child:GObj.widget -> x:int -> y:int -> unit
  method move_mark_onscreen : mark -> bool
  method move_visually : iter -> int -> bool
  method overwrite : bool
  method pixels_above_lines : int
  method pixels_below_lines : int
  method pixels_inside_wrap : int
  method place_cursor_onscreen : unit -> bool
  method populate_all : bool
  method right_margin : int
  method scroll_mark_onscreen : mark -> unit
  method scroll_to_iter :
    ?within_margin:float ->
    ?use_align:bool -> ?xalign:float -> ?yalign:float -> iter -> bool
  method scroll_to_mark :
    ?within_margin:float ->
    ?use_align:bool -> ?xalign:float -> ?yalign:float -> mark -> unit
  method set_accepts_tab : bool -> unit
  method set_border_window_size :
    typ:[ `BOTTOM | `LEFT | `RIGHT | `TOP ] -> size:int -> unit
  method set_bottom_margin : int -> unit
  method set_buffer : buffer -> unit
  method set_cursor_visible : bool -> unit
  method set_editable : bool -> unit
  method set_im_module : string -> unit
  method set_indent : int -> unit
  method set_input_hints : GtkEnums.input_hints -> unit
  method set_input_purpose : GtkEnums.input_purpose -> unit
  method set_justification : Gtk.Tags.justification -> unit
  method set_left_margin : int -> unit
  method set_monospace : bool -> unit
  method set_overwrite : bool -> unit
  method set_pixels_above_lines : int -> unit
  method set_pixels_below_lines : int -> unit
  method set_pixels_inside_wrap : int -> unit
  method set_populate_all : bool -> unit
  method set_right_margin : int -> unit
  method set_top_margin : int -> unit
  method set_wrap_mode : Gtk.Tags.wrap_mode -> unit
  method starts_display_line : iter -> bool
  method top_margin : int
  method visible_rect : Gdk.Rectangle.t
  method window_to_buffer_coords :
    tag:Gtk.Tags.text_window_type -> x:int -> y:int -> int * int
  method wrap_mode : Gtk.Tags.wrap_mode
end