[Github-comments] [geany/geany] Added option to auto reload files changed on disk (#1246)

[gdm85]

My last 2c on defaults: another way to decide the change is to "observe" what major distros (I am thinking of Debian, Ubuntu, Arch) do: if distros with most users are applying patches to change a default option value, then at some point (it might take one or more years) one can safely decide to incorporate the change based on the assumptions that most users have either already turned off the default or are fine with it.

-- 
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/1246#issuecomment-292709788
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20170408/fa68df28/attachment.html>