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.
