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
