Fonts; how can I change the font ??
The currently selected font may be modified from the user-setup(3).
Help -> User Setup -> Platform
The font selection depends upon the platform, in all cases a fixed font should be selected, otherwise rendering anomalies will result.
If you are running on Microsoft platforms ensure that the OEM/ANSI flag matches the settings of the Display Font Set entry.
(c) Copyright JASSPA 2001
Last Modified: 2001/07/14
Generated On: 2001/08/15