?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