[Github-comments] [geany/geany] Better check for a file change on disk by also monitoring the file size. (#1175)

[Stefan Oberhumer]

>>If the file size and mtime are unchanged...

>What if the file size is unchanged but the mtime is changed?

Same behavior as in current Geany.
Detail: 
* Geany only notify a file change if the modification time is greater (file on disk is newer) 
than last time loaded/saved. 
* It does not inform the user if the mtime on disk is less (file on disk is older) than last time loaded/saved.

I recognized this but I didn't want to change this check as I thought someone explicit designed it that way.




-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/pull/1175#issuecomment-239605282
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20160812/8c1c97fa/attachment.html>