Source: utils/widgets/wid_font.pro
WID_FONT
Determine widget fonts.
Usage:
font=wid_font([<keys>])
Arguments: none
Keywords:
fixed If set, return a fixed font (courier)
variable If set, return a proportional font (helvetica)
tiny If set, return a very small (10 or 8 point) font
small If set, return a small (12 or 10) font
normal If set, return a normal (14 or 12) font
large If set, return a large (18 or 14) bold font.
Notes:
The default is /variable, /normal. If conflicting options are
given the first match found will be used: I refuse to be more
specific.
If the environment variable HS_SMALL_FONTS is set to a
non-null value other than "NO" then the smaller sizes are
used.
History:
Original (after wid_font_init) : 9/12/99; SJT