Index File Menu
Revert
Load the last saved version of a document into the editor. If the document
has been changed since the last save command, a warning is displayed. This
command is only available, if a Open,
Save or Save
As ... command has been executed before.