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.
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.