#539 'Revert to Saved' is not undoable

[Thorsten Haude]

There was a discussion about this on the list starting
with
http://www.nedit.org/pipermail/develop/2006-June/011971.html.

While a regular undo might not be appropriate, some
solution should be found.