<p>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 <a href="https://github.com/geany/geany/pull/1471" class="issue-link js-issue-link" data-url="https://github.com/geany/geany/issues/1471" data-id="223441370" data-error-text="Failed to load issue title" data-permission-text="Issue title is private">#1471</a>.</p>
<p>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.</p>
<p>However, I can already see why I will probably prefer a “reload all” feature like <a href="https://github.com/geany/geany/pull/1471" class="issue-link js-issue-link" data-url="https://github.com/geany/geany/issues/1471" data-id="223441370" data-error-text="Failed to load issue title" data-permission-text="Issue title is private">#1471</a> 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.</p>
<p>What I’m saying is, this change and <a href="https://github.com/geany/geany/pull/1471" class="issue-link js-issue-link" data-url="https://github.com/geany/geany/issues/1471" data-id="223441370" data-error-text="Failed to load issue title" data-permission-text="Issue title is private">#1471</a> are not equivalent, and it may make sense to have <em>both</em>.</p>

<p style="font-size:small;-webkit-text-size-adjust:none;color:#666;">—<br />You are receiving this because you are subscribed to this thread.<br />Reply to this email directly, <a href="https://github.com/geany/geany/pull/1246#issuecomment-298176055">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/ABDrJ0I4zf0jasGt2rHWuaeFMHD0k2f_ks5r01iJgaJpZM4KGa-x">mute the thread</a>.<img alt="" height="1" src="https://github.com/notifications/beacon/ABDrJ_W4JYihFPw2OCrNvEIQpXtNb-BXks5r01iJgaJpZM4KGa-x.gif" width="1" /></p>
<div itemscope itemtype="http://schema.org/EmailMessage">
<div itemprop="action" itemscope itemtype="http://schema.org/ViewAction">
  <link itemprop="url" href="https://github.com/geany/geany/pull/1246#issuecomment-298176055"></link>
  <meta itemprop="name" content="View Pull Request"></meta>
</div>
<meta itemprop="description" content="View this Pull Request on GitHub"></meta>
</div>

<script type="application/json" data-scope="inboxmarkup">{"api_version":"1.0","publisher":{"api_key":"05dde50f1d1a384dd78767c55493e4bb","name":"GitHub"},"entity":{"external_key":"github/geany/geany","title":"geany/geany","subtitle":"GitHub repository","main_image_url":"https://cloud.githubusercontent.com/assets/143418/17495839/a5054eac-5d88-11e6-95fc-7290892c7bb5.png","avatar_image_url":"https://cloud.githubusercontent.com/assets/143418/15842166/7c72db34-2c0b-11e6-9aed-b52498112777.png","action":{"name":"Open in GitHub","url":"https://github.com/geany/geany"}},"updates":{"snippets":[{"icon":"PERSON","message":"@vfaronov in #1246: 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.\r\n\r\nI 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.\r\n\r\nHowever, 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.\r\n\r\nWhat I’m saying is, this change and #1471 are not equivalent, and it may make sense to have *both*."}],"action":{"name":"View Pull Request","url":"https://github.com/geany/geany/pull/1246#issuecomment-298176055"}}}</script>