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 1999
Last Modified: 1999/07/15
Generated On: 1999/07/16