Check if a file has been modified

[Dark_Tower]

2. when the editor returns, check if the file was modified (by comparing times of last modification and/or file size).

Do you think that all the file systems save the last modification date of the files? I am still a bit uncertain of using this method... (although I think that's the best solution )