TITLE-FONT attribute

The font number for the font of the widget title.

Data type:

INTEGER

Access:

Readable/Writeable

Applies to:

BROWSE widget, DIALOG-BOX widget, FRAME widget, MENU widget (pop-up only)

The font number represents an entry in the font table maintained by the FONT-TABLE handle. This attribute is read-only for all applicable widget types. It is writeable only for backward compatibility and has no effect when you set it.