<blockquote>
<p>It looks to me like we can remove the auto_reload option and make it automatic<br>
without data loss.</p>
</blockquote>

<p>I agree, but for the moment it's probably wise to keep it as is since it may cause high-memory usage.</p>

<blockquote>
<p>Am I correct in assuming you would prefer a finer-grained version of file_prefs.keep_edit_history_on_reload ?</p>
</blockquote>

<p>No, it should be fine if it does what it sounds like. I thought there was only "show_keep_edit_history_on_reload_msg". The only potential change I can think might be to change the default enabled/disabled state of it, or perhaps making it mutually exclusive with the new auto_reload option.</p>

<blockquote>
<p>If so, perhaps document_reload_force() and document_open_file_full() could be<br>
refactored to take a keep_undo_history parameter?</p>
</blockquote>

<p>I haven't looked at this code enough to say yet, I will have a look when I test this PR out.</p>

<blockquote>
<p>I do not consider changing the file monitor to be a part of this PR.</p>
</blockquote>

<p>Agree. I will check how it behaves with the changes in this PR while testing it, but it's basically unrelated at this point.</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-250634630">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/ABDrJ5AMafCsrhR3dbNMZ5fKx5zIBdMUks5qvGIkgaJpZM4KGa-x">mute the thread</a>.<img alt="" height="1" src="https://github.com/notifications/beacon/ABDrJ4fcRxebOH_Arm4D8ZHCyUz_rwykks5qvGIkgaJpZM4KGa-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-250634630"></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":"@codebrainz in #1246: \u003e It looks to me like we can remove the auto_reload option and make it automatic\r\nwithout data loss.\r\n\r\nI agree, but for the moment it's probably wise to keep it as is since it may cause high-memory usage.\r\n\r\n\u003e Am I correct in assuming you would prefer a finer-grained version of file_prefs.keep_edit_history_on_reload ?\r\n\r\nNo, it should be fine if it does what it sounds like. I thought there was only \"show_keep_edit_history_on_reload_msg\". The only potential change I can think might be to change the default enabled/disabled state of it, or perhaps making it mutually exclusive with the new auto_reload option.\r\n\r\n\u003e If so, perhaps document_reload_force() and document_open_file_full() could be\r\nrefactored to take a keep_undo_history parameter?\r\n\r\nI haven't looked at this code enough to say yet, I will have a look when I test this PR out.\r\n\r\n\u003e I do not consider changing the file monitor to be a part of this PR.\r\n\r\nAgree. I will check how it behaves with the changes in this PR while testing it, but it's basically unrelated at this point."}],"action":{"name":"View Pull Request","url":"https://github.com/geany/geany/pull/1246#issuecomment-250634630"}}}</script>