[previous] [up] [next]     [contents] [index]
Next: file-menu:save Up: mred:simple-menu-frame Previous: file-menu:print

file-menu:revert

This function will be called when the Revert item of the File menu is selected by the user. If file-menu:revert is #f, rather than a procedure, the Revert menu item will not be added to the menu.



PLT