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.
This is defautly #f
![[previous]](../icons/left.gif){kind=icon}
![[up]](../icons/up.gif){kind=icon}
![[next]](../icons/right.gif){kind=icon}
![[contents]](../icons/contents.gif){kind=icon}
![[index]](../icons/index.gif){kind=icon}