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

edit-menu:replace

   

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



PLT