[MD History] Fix deletion in heavily scrolled list.

chrome/browser/ui/webui/browsing_history_handler.cc

Index: chrome/browser/ui/webui/browsing_history_handler.cc
diff --git a/chrome/browser/ui/webui/browsing_history_handler.cc b/chrome/browser/ui/webui/browsing_history_handler.cc
index b6e8fd16b5e774bfe3678d59085f57ad6a0b7cab..204f670422e100befa505865edc5a6307f3be9be 100644
--- a/chrome/browser/ui/webui/browsing_history_handler.cc
+++ b/chrome/browser/ui/webui/browsing_history_handler.cc
@@ -1010,5 +1010,6 @@ void BrowsingHistoryHandler::OnURLsDeleted(
 }
 
 void BrowsingHistoryHandler::OnWebHistoryDeleted() {
-  web_ui()->CallJavascriptFunctionUnsafe("historyDeleted");
+  if (!has_pending_delete_request_)

[msramek, 2016/11/07 15:45:20]

It's possible that OnWebHistoryDeleted() was called for a request not coming
from this page (e.g. from CBD or another instance of the history page). In that
case, we should reload to display the effects of that deletion.

It's just a corner case, and it requires further changes to
OnWebHistoryDeleted(), so I'm not asking you to fix it now, but can you please
document that we know about it? Someone will look at this code later and will
wonder why can we assume that the web history deletion comes from this handler.

+    web_ui()->CallJavascriptFunctionUnsafe("historyDeleted");
 }