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.

The preferences are stored in a user-specific directory when possible:

• Under X Windows, preferences are stored in ``.mred.prefs'' in the user's home directory.
• Under Windows, if the HOMEDRIVE and HOMEPATH environment variables are defined, preferences are stored in ``%HOMEDRIVE%\%HOMEPATH%\mred.pre'', otherwise preferences are stored in ``mred.pre'' in the directory contqining the MrEd binary.
• Under MacOS, preferences are stored in ``MrEd Preferences'' in the preferences folder.

The preferences dialog box expects all state associated with each preference to be kept in the preferences manager. If not, the cancel button will not restore the settings correctly.

All of the preferences beginning with ``mred'' are reserved for the system.

Procedures:

• mred:add-preference-callback
• mred:add-preference-panel
• mred:get-preference
• mred:hide-preferences-dialog
• mred:read-user-preferences
• mred:restore-defaults
• mred:save-user-preferences
• mred:set-preference
• mred:set-preference-default
• mred:set-preference-un/marshall
• mred:show-preferences-dialog