Fonts; how can I change the font ??
The currently selected font may be modified from the user-setup(3).
Tools -> 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 2009
Last Modified: 2009/08/29
Generated On: 2009/10/12