?autoscroll:bool ->
unit ->
object
  method clear : unit
  method coerce : GObj.widget
  method fmt : Format.formatter
  method focus : mark:string -> unit
  method get_view : GText.view
  method highlight : mark:string -> GText.tag_property list -> unit
  method lines : int
  method on_link : (GdkEvent.Button.t -> string -> unit) -> unit
  method printf :
    ?scroll:bool -> ('a, Format.formatter, unit) Pervasives.format -> 'a
  method scroll : ?line:int -> unit -> unit
  method set_autoscroll : bool -> unit
  method set_enabled : bool -> unit
  method set_font : string -> unit
end