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

[Vasiliy Faronov]

I do Git checkouts/rebases often, and the need to reload every document is quite a nuisance. In fact, for the past few months I’ve been using a small private plugin that does the equivalent of #1471.

I will be running with this change to see how it works for me. I will also try to test it briefly with remote filesystems and under Windows.

However, I can already see why I will probably prefer a “reload all” feature like #1471 over this “auto reload” option. Geany has operations that depend on the current contents of the documents. Two that I use often are “goto symbol” and “find usage in session”. When I know that many of my open documents have changed on disk (because I just checked out a different commit), I’d rather reload them all eagerly so that those operations work correctly.

What I’m saying is, this change and #1471 are not equivalent, and it may make sense to have *both*.

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