Class Toolbox.text

class text : ?autoscroll:bool -> unit -> object .. end

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:

• "bf" bold face
• "it" italic style
• "ul" underlined
• "st" striked through
• "red", "orange", "green" foreground color
• "fg:<color name>" foreground color
• "bg:<color name>" background color
• "link:<link name>" clickable link, see method on_link.
• "mark:<mark name>" named text range, see methods show, set_properties.

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).