[Info-vax] improving EDT

[Phillip Helbig undress to reply]

EDT has the nice EDIT/RECOVER feature.  This is good when there is some 
unexpected problem.

I have also defined a key to write a new version of the current file to 
disk, so that I don't have to leave the editor.  This is good when 
writing source code, saving it, compiling the new version, without 
leaving the editor.  It also protects against making some major change 
by mistake; probably, a previous version can be retrieved and used as 
the basis for a new version without the mistake.

What about the two together?  If I use the last feature, and there is an 
unexpected crash, the journal file can't be applied to the highest 
version of the edited file.  If I apply it to the version of the file it 
was created with, should this work in all cases, i.e. EDIT/RECOVER in 
this case would give the same result as the current state of the highest 
version of the file?  (Obviously, if I make a big mistake and go back to 
a previous version for a fresh start, I will leave the editor and the 
journal file will be deleted.)