[Bug 31199] "Revert" should be called "Reload from disk", and a new Revert implemented

[Kristoffer Lundén]

Public bug reported:
https://launchpad.net/malone/bugs/31199

Affects: gedit (Ubuntu)
       Severity: Normal
       Priority: (none set)
         Status: Unconfirmed

Description:
File->Revert does not actually revert the file. Revert means "to return
to a former condition", while what it actually does is reloading the
file from disk.

That file may have been changed by some other program, which is what I
actually use the current "Revert" for - reloading after external change.
However, that does not return it to a previous state, and it may be an
unexpected result due to the wording.

The warning says "Changes made to the document in the last X minutes
will be permanently lost." even if no changes has actually occured. A
user that has made no changes may think that this is safe but become
very surprised if the file has changed externally.

If a Revert option is desired, then the application should make a note
of the state at open time and update it at every save - maybe a pointer
to a place in the undo history - that could be used to go back to this
earlier state. If undo is limited, a file could be used temporarily for
the session.

Ideally, there would be both a proper Revert and the current
functionality called "Reload from disk".