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

Reply via email to