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

[Kristoffer Lundén]

Public bug report changed:
https://launchpad.net/malone/bugs/31199

Comment:
> However you are up against the GNOME HIG on this one:

I'm not so sure, HIG says: "Reverts the document to the last saved
state." - and it doesn't do that, or at least can't guarantee it as it
is implemented today. To follow the HIG, the implementation would have
to change. So it's a bug rather than a wish for wording?

> Convention means that people expect an item called Revert and most 
> of the programs I've ever used have implemented this as a reload. 

Huh. I don't really recognize that at all. I must have missed those, and
in either case I read what the entry said and expected English language
to be followed. And I'm not even a native speaker. It isn't like
"Reload" would do anything unexpected either for that matter, actually
less so.

> It's a bad convention but you can always ask upstream...

Sure, but isn't the proper procedure to do that via this interface
somehow? So it gets properly tracked here too?