[> Gtk.text_view ] Gtk.obj ->
object ('a)
  method after : 'a
  method copy_clipboard : callback:(unit -> unit) -> GtkSignal.id
  method cut_clipboard : callback:(unit -> unit) -> GtkSignal.id
  method delete_from_cursor :
    callback:(Gtk.Tags.delete_type -> int -> unit) -> GtkSignal.id
  method destroy : callback:(unit -> unit) -> GtkSignal.id
  method insert_at_cursor : callback:(string -> unit) -> GtkSignal.id
  method move_cursor :
    callback:(Gtk.Tags.movement_step -> int -> extend:bool -> unit) ->
    GtkSignal.id
  method move_focus :
    callback:(Gtk.Tags.direction_type -> unit) -> GtkSignal.id
  method notify_accepts_tab : callback:(bool -> unit) -> GtkSignal.id
  method notify_bottom_margin : callback:(int -> unit) -> GtkSignal.id
  method notify_cursor_visible : callback:(bool -> unit) -> GtkSignal.id
  method notify_editable : callback:(bool -> unit) -> GtkSignal.id
  method notify_im_module : callback:(string -> unit) -> GtkSignal.id
  method notify_indent : callback:(int -> unit) -> GtkSignal.id
  method notify_input_hints :
    callback:(GtkEnums.input_hints -> unit) -> GtkSignal.id
  method notify_input_purpose :
    callback:(GtkEnums.input_purpose -> unit) -> GtkSignal.id
  method notify_justification :
    callback:(GtkEnums.justification -> unit) -> GtkSignal.id
  method notify_left_margin : callback:(int -> unit) -> GtkSignal.id
  method notify_monospace : callback:(bool -> unit) -> GtkSignal.id
  method notify_overwrite : callback:(bool -> unit) -> GtkSignal.id
  method notify_pixels_above_lines : callback:(int -> unit) -> GtkSignal.id
  method notify_pixels_below_lines : callback:(int -> unit) -> GtkSignal.id
  method notify_pixels_inside_wrap : callback:(int -> unit) -> GtkSignal.id
  method notify_populate_all : callback:(bool -> unit) -> GtkSignal.id
  method notify_right_margin : callback:(int -> unit) -> GtkSignal.id
  method notify_top_margin : callback:(int -> unit) -> GtkSignal.id
  method notify_wrap_mode :
    callback:(GtkEnums.wrap_mode -> unit) -> GtkSignal.id
  method page_horizontally :
    callback:(int -> extend:bool -> unit) -> GtkSignal.id
  method paste_clipboard : callback:(unit -> unit) -> GtkSignal.id
  method populate_popup : callback:(Gtk.menu Gtk.obj -> unit) -> GtkSignal.id
  method set_anchor : callback:(unit -> unit) -> GtkSignal.id
  method set_scroll_adjustments :
    callback:(GData.adjustment option -> GData.adjustment option -> unit) ->
    GtkSignal.id
  method toggle_overwrite : callback:(unit -> unit) -> GtkSignal.id
end