Preferences
The framework provides a user preferences manager. It provides facilities for getting, setting, marshalling and unmarshalling the user's preferences as well as utilities to manage a preferences dialog box.
The functions used to manage the preferences,
preferences:get,
preferences:set,
preferences:set-default,
preferences:set-un/marshall, must be called
in a certain order. Overall, the defaults must be set first,
the marshalling functions next and then getting and setting
is allowed. See the individual functions for the precise
constraints.
In addition to the functions
preferences:add-scheme-checkbox-panel,
preferences:add-warnings-checkbox-panel,
preferences:add-editor-checkbox-panel, and
preferences:add-font-panel listed here,
scheme:add-preferences-panel
also adds panels to the preferences dialog.