[previous] [up] [next]     [contents] [index]
Next: edit-menu:select-all Up: mred:simple-menu-frame Previous: edit-menu:redo

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