Preferences

The system provides a user preferences manager. It provides facilities for getting, setting, marshalling and unmarshalling the user's preferences as well as utilties to manage a preferences dialog box.

Also see the preferences function definitions for more information.