Make sure the current document is still the same after Save All

Save All updates the sidebar and title bar with the document that was
the current one when the action was triggered, but the action could
have changed the focused document if an non-file-backed file required
saving.  So, make sure current document is the same after the action.

src/callbacks.c

@@ -201,6 +201,7 @@ G_MODULE_EXPORT void on_save_all1_activate(GtkMenuItem *menuitem, gpointer user_
 
 	ui_set_statusbar(FALSE, ngettext("%d file saved.", "%d files saved.", count), count);
 	/* saving may have changed window title, sidebar for another doc, so update */
+	document_show_tab(cur_doc);
 	sidebar_update_tag_list(cur_doc, TRUE);
 	ui_set_window_title(cur_doc);
 }