Refresh the history page if history entries get deleted, except for when currently editing entries

chrome/browser/resources/history.js

Index: chrome/browser/resources/history.js
diff --git a/chrome/browser/resources/history.js b/chrome/browser/resources/history.js
index c0a5287d0a4e25675b0b1cfd959a70ceeccc5073..3fbb3007e2cb6b06ce52537e36cddf59dcf3b76e 100644
--- a/chrome/browser/resources/history.js
+++ b/chrome/browser/resources/history.js
@@ -512,6 +512,14 @@ HistoryView.prototype.toggleEditMode = function() {
 };
 
 /**
+ * @return {boolean} Whether we are in edit mode where history items can be
+ *    deleted
+ */
+HistoryView.prototype.getEditMode = function() {
+  return this.model_.getEditMode();
+};
+
+/**
  * Reload the current view.
  */
 HistoryView.prototype.reload = function() {
@@ -1022,7 +1030,6 @@ function deleteComplete() {
     deleteNextInQueue();
   } else {
     deleteQueue = [];
-    historyView.reload();
   }
 }
 
@@ -1037,6 +1044,17 @@ function deleteFailed() {
   setTimeout(deleteNextInQueue, 500);
 }
 
+/**
+ * We're called when something is deleted (either by us or by someone
+ * else).
+ */
+function historyDeleted() {
+  window.console.log('History deleted');
+  var anyChecked = document.querySelector('.entry input:checked') != null;
+  if (!(historyView.getEditMode() && anyChecked))
+    historyView.reload();
+}
+
 // Add handlers to HTML elements.
 document.body.onload = load;
 $('history-section').onclick = function () {