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

[Matthew Brush]

> Ok, well, unless @shiftee wants to make it so, thats not part of this PR

Why is dealing with bad interactions between features not part of a PR unless the submitter (solely) wants to make the change?

>  But until its done the default should be off.

I agree, but it can be done as part of this PR if we want to, by anyone, and is far simpler to do than the testing of this feature with all the related features/options will be before merging, so if nobody beats me to it, I might just do it myself while testing.

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