@Davidy22 commented on this pull request.

In src/callbacks.c:

> @@ -335,6 +335,21 @@ void on_toolbutton_reload_clicked(GtkAction *action, gpointer user_data)
 	document_reload_prompt(doc, NULL);
 }
 
+/* reload all files */
+void on_toolbutton_reload_all_clicked(GtkAction *action, gpointer user_data)
+{
+	guint i;
+	gint cur_page = gtk_notebook_get_current_page(GTK_NOTEBOOK(main_widgets.notebook));
+	
+	foreach_document(i)
+	{
+		if (! (documents[i]->file_name == NULL))

Oh no i mean that when keep_edit_history_on_reload is off, there's a confirmation window stopping people from reloading when there's edit history on a tab even when the file is saved, and this pops when I use CTRL+R on a saved document too, so conditionally circumventing it in reload all seems against the existing flow even if it's annoying. Edge case anyways because you have to go into a tab no one's going to visit to toggle a setting that's a bit annoying when turned off.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.
Triage notifications on the go with GitHub Mobile for iOS or Android.