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