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

chrome/browser/ui/webui/history2_ui.h

Index: chrome/browser/ui/webui/history2_ui.h
diff --git a/chrome/browser/ui/webui/history2_ui.h b/chrome/browser/ui/webui/history2_ui.h
index aed4882ce54de7c2f29adad420bb563d188e9158..26d12b0b6eedae3c2302857baab4ae88e7c841f5 100644
--- a/chrome/browser/ui/webui/history2_ui.h
+++ b/chrome/browser/ui/webui/history2_ui.h
@@ -13,6 +13,7 @@
 #include "chrome/browser/ui/webui/chrome_url_data_manager.h"
 #include "chrome/browser/ui/webui/chrome_web_ui.h"
 #include "content/browser/cancelable_request.h"
+#include "content/common/notification_registrar.h"
 
 class GURL;
 
@@ -38,7 +39,8 @@ class HistoryUIHTMLSource2 : public ChromeURLDataManager::DataSource {
 };
 
 // The handler for Javascript messages related to the "history" view.
-class BrowsingHistoryHandler2 : public WebUIMessageHandler {
+class BrowsingHistoryHandler2 : public WebUIMessageHandler,
+                                public NotificationObserver {
  public:
   BrowsingHistoryHandler2();
   virtual ~BrowsingHistoryHandler2();
@@ -59,6 +61,11 @@ class BrowsingHistoryHandler2 : public WebUIMessageHandler {
   // Handle for "clearBrowsingData" message.
   void HandleClearBrowsingData(const ListValue* args);
 
+  // NotificationObserver implementation.
+  virtual void Observe(NotificationType type,
+                       const NotificationSource& source,
+                       const NotificationDetails& details);
+
  private:
   // Callback from the history system when the history list is available.
   void QueryComplete(HistoryService::Handle request_handle,
@@ -75,6 +82,8 @@ class BrowsingHistoryHandler2 : public WebUIMessageHandler {
   // Figure out the query options for a month-wide query.
   history::QueryOptions CreateMonthQueryOptions(int month);
 
+  NotificationRegistrar registrar_;
+
   // Current search text.
   string16 search_text_;