Synopsis

html pathName ?options?

Widget Specific Options

-importCommand
-selectionStyle

Widget Command

pathName handler node tag script

pathName handler script tag script



pathName html parse ?-final? html-text

pathName html clear

Stylesheets

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

Layout

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 Command

node tag

node attr attribute-name

node property property-name ?value?

node clearproperties

node parent

node numchildren

node child child-index

node html