@Davidy22 commented on this pull request.
@@ -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.