[Github-comments] [geany] document: show informational doc message after first reload (#672)

[Thomas Martitz]

> @@ -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);

This way it's a one-liner, and the whole infomsg is a one-timer. So it's not really worth any optimization.

---
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/pull/672/files#r41074607
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20151002/34416eab/attachment.html>