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

[Stefan Oberhumer]

OK - Il give up - I close the pull request!
* This discussion cost more time than updating my patches just for me (as I do it since Geany 0.18).
* I also need more lines to explain and to justify (still discussing my (a sample) use-case) - please accept:
**If file size on disk changes the file has been changed and Geany does not notice this (regardless any use-cases)!**

I thought I really I start submitting a small and reasonable patch and  try to get a better public Geany.

-- 
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-239614125
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20160813/a948d93d/attachment.html>