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

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