Check mtime before saving a file so it haven't been modified in the background

ErikPettersson / moonshineproject

Automatically exported from code.google.com/p/moonshineproject

0 stars 0 forks source link

Check mtime before saving a file so it haven't been modified in the background #163

Open GoogleCodeExporter opened 8 years ago

GoogleCodeExporter commented 8 years ago

On opening a file, save it's modification timestamp (update it on saving).

Just before saving, double check that the timestamp is the same so we don't 
overwrite something we don't want to.

On ACTIVATE (OS-level focusIn) we should do this for all opened files & prompt 
the user if any changed.

Original issue reported on code.google.com by petterson.erik@gmail.com on 4 Nov 2010 at 5:56