>>>>> "John" == John Levon <[EMAIL PROTECTED]> writes:
John> Things behave much more sensibly with thisd patch: it doesn't John> make sense to revert an unsaved or unchanged document. John> JMarc, do you want this for 1.3 ? Yes. Should we do the same for 'Save'? What do the good UI rules say about this? JMarc
