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

chrome/browser/ui/webui/history_ui.h

Index: chrome/browser/ui/webui/history_ui.h
diff --git a/chrome/browser/ui/webui/history_ui.h b/chrome/browser/ui/webui/history_ui.h
index 7c490ce2e390a46b0bd314072797dc024ec8ad2f..b3523a5392e0374008cb8be09459812103595c6a 100644
--- a/chrome/browser/ui/webui/history_ui.h
+++ b/chrome/browser/ui/webui/history_ui.h
@@ -13,11 +13,13 @@
 #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;
 
 // The handler for Javascript messages related to the "history" view.
-class BrowsingHistoryHandler : public WebUIMessageHandler {
+class BrowsingHistoryHandler : public WebUIMessageHandler,
+                               public NotificationObserver {
  public:
   BrowsingHistoryHandler();
   virtual ~BrowsingHistoryHandler();
@@ -38,6 +40,11 @@ class BrowsingHistoryHandler : 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,
@@ -54,6 +61,8 @@ class BrowsingHistoryHandler : 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_;