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

chrome/browser/resources/history.js

 // Copyright (c) 2011 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 ///////////////////////////////////////////////////////////////////////////////
 // Globals:
 var RESULTS_PER_PAGE = 150;
 var MAX_SEARCH_DEPTH_MONTHS = 18;
 
 // Amount of time between pageviews that we consider a 'break' in browsing,
@@ skipping 494 matching lines @@
 /**
  * Toggles the edit mode and triggers UI update.
  */
 HistoryView.prototype.toggleEditMode = function() {
   var editMode = !this.model_.getEditMode();
   this.setEditMode(editMode);
   this.updateEditControls_();
 };
 
 /**
+ * @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() {
   this.model_.reload();
 };
 
 /**
  * Switch to a specified page.
  * @param {number} page The page we wish to view.
  */
@@ skipping 490 matching lines @@
  * Our history system calls this function when a deletion has finished.
  */
 function deleteComplete() {
   window.console.log('Delete complete');
   deleteInFlight = false;
   if (deleteQueue.length > 2) {
     deleteQueue = deleteQueue.slice(2);
     deleteNextInQueue();
   } else {
     deleteQueue = [];
-    historyView.reload();
   }
 }
 
 /**
  * Our history system calls this function if a delete is not ready (e.g.
  * another delete is in-progress).
  */
 function deleteFailed() {
   window.console.log('Delete failed');
   // The deletion failed - try again later.
   deleteInFlight = false;
   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 () {
   setSearch('');
   return false;
 };
 $('search-form').onsubmit = function () {
   setSearch(this.term.value);
   return false;
 }