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

Matthew Brush notifications at xxxxx
Tue Sep 27 03:07:54 UTC 2016


> I have said I don't think it should affect the chances, and you have said you disagree, so its up to somebody else to determine then.

I don't much care if it's done as part of this PR or not, but if it's not, there will be a period where the master branch will contain a potential landmine of misbehaviour, and if it's not done quickly enough, this could include being present in a release, which is why it's nice to get all related stuff together.

The thing I care more about is that I want to use this feature myself (it's an often requested feature and some other editors I use have it), but I will be hesitant to use it because of some existing "bad" behaviour that never got a setting added to disable it (...because it wasn't included in the original PR :).

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


More information about the Github-comments mailing list