html pathName ?options?
-importCommand -selectionStyle
pathName handler node tag script
pathName handler script tag script
pathName html parse ?-final? html-text
pathName html clear
The following commands are used to add style information to a document, in the form of CSS stylesheets.
pathName style parse stylesheet-id stylesheet-text
Add a stylesheet to the widget. The value passed as stylesheet-text should contain a valid CSS stylesheet. If the stylesheet contains an “@import” directive, and a value has been set for the widget -importCommand option, then the callback script passed to -importCommand is invoked from within this call.
The stylesheet-id is a string used to determine the priority of the stylesheet relative to other stylesheets added to the same widget. The first part of the stylesheet-id must be either “author.”, “user.” or “agent.”, to mark the stylesheet as an author, user or agent stylesheet respectively (see CSS documentation for how this affects the priority of the stylesheet). For stylesheets where the first part of the id is identical, the id strings are compared lexographically to determine priority. A stylesheet id that occurs later in dictionary order has a higher priority.
For example, the following list of stylesheet ids is sorted from lowest to highest priority:
agent.1
agent.2
user.1
user.2
author.1
author.1.1
A stylesheet-id need not be unique. In this case the stylesheet priority is determined by the order in which the stylesheets are added.
pathName style clear ?stylesheet-id?
Remove the stylesheet(s) with the specified stylesheet-id from the widget.
pathName style apply
pathName style syntax_errs
pathName layout primitives
draw_text draw_quad draw_image draw_window draw_origin draw_background
pathName layout node ?-width width? x y
pathName layout force -width ?width? -window ?window?
node tag
node attr attribute-name
node property property-name ?value?
node clearproperties
node parent
node numchildren
node child child-index
node html