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