Gtk.text Gtk.obj ->
object
  val obj : Gtk.text Gtk.obj
  method as_widget : Gtk.widget Gtk.obj
  method backward_delete : int -> unit
  method coerce : GObj.widget
  method connect : GBroken.old_editable_signals
  method copy_clipboard : unit -> unit
  method cut_clipboard : unit -> unit
  method delete_selection : unit -> unit
  method delete_text : start:int -> stop:int -> unit
  method destroy : unit -> unit
  method drag : GObj.drag_ops
  method editable : bool
  method event : GObj.event_ops
  method forward_delete : int -> unit
  method freeze : unit -> unit
  method get_chars : start:int -> stop:int -> string
  method get_oid : int
  method hadjustment : GData.adjustment
  method insert :
    ?font:Gdk.font ->
    ?foreground:GDraw.color -> ?background:GDraw.color -> string -> unit
  method insert_text : string -> pos:int -> int
  method length : int
  method line_wrap : bool
  method misc : GObj.misc_ops
  method private obj : Gtk.text Gtk.obj
  method paste_clipboard : unit -> unit
  method point : int
  method position : int
  method select_region : start:int -> stop:int -> unit
  method selection : (int * int) option
  method set_editable : bool -> unit
  method set_hadjustment : GData.adjustment -> unit
  method set_line_wrap : bool -> unit
  method set_point : int -> unit
  method set_position : int -> unit
  method set_vadjustment : GData.adjustment -> unit
  method set_word_wrap : bool -> unit
  method thaw : unit -> unit
  method vadjustment : GData.adjustment
  method word_wrap : bool
end