([> Gtk.text_view ] as 'a) Gtk.obj ->
object
  val obj : '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 app_paintable : bool
  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 can_default : bool
  method can_focus : bool
  method coerce : GObj.widget
  method composite_child : bool
  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 events : GdkEnums.event_mask list
  method expand : bool
  method focus_on_click : bool
  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 halign : GtkEnums.align
  method has_default : bool
  method has_focus : bool
  method has_tooltip : bool
  method height_request : int
  method hexpand : bool
  method hexpand_set : bool
  method im_module : string
  method indent : int
  method input_hints : GtkEnums.input_hints
  method input_purpose : GtkEnums.input_purpose
  method is_focus : bool
  method justification : Gtk.Tags.justification
  method left_margin : int
  method margin : int
  method margin_bottom : int
  method margin_end : int
  method margin_left : int
  method margin_right : int
  method margin_start : int
  method margin_top : 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 name : string
  method no_show_all : bool
  method opacity : float
  method overwrite : bool
  method parent : Gtk.container Gtk.obj option
  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 receives_default : bool
  method right_margin : int
  method scale_factor : 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 sensitive : bool
  method set_accepts_tab : bool -> unit
  method set_app_paintable : 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_can_default : bool -> unit
  method set_can_focus : bool -> unit
  method set_cursor_visible : bool -> unit
  method set_editable : bool -> unit
  method set_events : GdkEnums.event_mask list -> unit
  method set_expand : bool -> unit
  method set_focus_on_click : bool -> unit
  method set_halign : GtkEnums.align -> unit
  method set_has_default : bool -> unit
  method set_has_focus : bool -> unit
  method set_has_tooltip : bool -> unit
  method set_height_request : int -> unit
  method set_hexpand : bool -> unit
  method set_hexpand_set : 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_is_focus : bool -> unit
  method set_justification : Gtk.Tags.justification -> unit
  method set_left_margin : int -> unit
  method set_margin : int -> unit
  method set_margin_bottom : int -> unit
  method set_margin_end : int -> unit
  method set_margin_left : int -> unit
  method set_margin_right : int -> unit
  method set_margin_start : int -> unit
  method set_margin_top : int -> unit
  method set_monospace : bool -> unit
  method set_name : string -> unit
  method set_no_show_all : bool -> unit
  method set_opacity : float -> unit
  method set_overwrite : bool -> unit
  method set_parent : Gtk.container Gtk.obj option -> 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_receives_default : bool -> unit
  method set_right_margin : int -> unit
  method set_sensitive : bool -> unit
  method set_style : Gtk.style -> unit
  method set_tooltip_markup : string -> unit
  method set_tooltip_text : string -> unit
  method set_top_margin : int -> unit
  method set_valign : GtkEnums.align -> unit
  method set_vexpand : bool -> unit
  method set_vexpand_set : bool -> unit
  method set_visible : bool -> unit
  method set_width_request : int -> unit
  method set_wrap_mode : Gtk.Tags.wrap_mode -> unit
  method starts_display_line : iter -> bool
  method style : Gtk.style
  method tooltip_markup : string
  method tooltip_text : string
  method top_margin : int
  method valign : GtkEnums.align
  method vexpand : bool
  method vexpand_set : bool
  method visible : bool
  method visible_rect : Gdk.Rectangle.t
  method width_request : int
  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