MESSAGE-AREA-FONT attribute

The font number of the font used in the message area of a window.

Data type: INTEGER

Access: Readable/Writeable

Applies to: WINDOW widget

The font number represents an entry in the font table maintained by the FONT-TABLE handle.