User's Manual

Display Configuration
Desktop Settings 223
To edit a font server entry, select it in the list then click the
Edit button.
To delete a font server entry, select it in the list then click
the
Delete button. You will be prompted to confirm the
deletion by clicking
OK.
Prepend fontservers
Default: Unchecked
If this option is checked, when an application is looking for a font, it
will ask the font servers in the list before loading the local font
stored in the system.