<p>In <a href="https://github.com/geany/geany/pull/672#discussion_r41074382">src/document.c</a>:</p>
<pre style='color:#555'>> @@ -1520,6 +1520,24 @@ void document_open_files(const GSList *filenames, gboolean readonly, GeanyFilety
>  }
>  
>  
> +static void on_keep_edit_history_on_reload_response(GtkWidget *bar, gint response_id, GeanyDocument *doc)
> +{
> +  if (response_id == GTK_RESPONSE_NO)
> +  {
> +          file_prefs.keep_edit_history_on_reload = FALSE;
> +          document_reload_force(doc, doc->encoding);
</pre>
<p>It probably would be great if we could drop the history without actually reloading a second time (<code>sci_empty_undo_buffer</code>/<code>document_undo_clear</code>, but I'm not 100% sure why/if we don't have a unified way)</p>

<p style="font-size:small;-webkit-text-size-adjust:none;color:#666;">—<br>Reply to this email directly or <a href="https://github.com/geany/geany/pull/672/files#r41074382">view it on GitHub</a>.<img alt="" height="1" src="https://github.com/notifications/beacon/ABDrJ-c8XBGsJa69E6Qu8g6QS-uww_gdks5o3vyFgaJpZM4GHluE.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/672/files#r41074382"></link>
  <meta itemprop="name" content="View Pull Request"></meta>
</div>
<meta itemprop="description" content="View this Pull Request on GitHub"></meta>
</div>