previous up next     contents index
Next: edit-menu:preferences-help-string Up: mred:standard-menus-frame Previous: edit-menu:paste-id

edit-menu:preferences

   

This function will be called when the Select All item of the Preferences menu is selected by the user. If edit-menu:preferences is #f, rather than a procedure, the Preferences... menu item will not be added to the menu.



PLT