Class Toolbox.text

class text : ?autoscroll:bool -> unit -> object .. end
Inherits
method clear : unit
method fmt : Format.formatter
The formatter used by printf method.
method printf : 'a. ?scroll:bool -> ('a, Format.formatter, unit) Pervasives.format -> 'a
Append material to the text buffer, optionally scrolling it to the beginning of the message (defaults to autoscrolling setting).

The underlying formatter (method fmt) recognizes the following tags:

Properties for any tag (except link and mark) can be modified with method set_tag_properties.

t#printf is a shortcut for Format.fprintf t#fmt followed by flushing and optional scrolling.

method highlight : mark:string -> GText.tag_property list -> unit
method focus : mark:string -> unit
method scroll : ?line:int -> unit -> unit
method lines : int
method on_link : (GdkEvent.Button.t -> string -> unit) -> unit
method called when the user clicks on a 'link' tag. The arguments are the GTK button and the name of the link.
method set_font : string -> unit
Set the font used to display the text.
method set_autoscroll : bool -> unit
Set autoscrolling.
method get_view : GText.view
Returns the viewer object (and the buffer it contains).