Reset alert counter when loading a new page

All infobars including alerts are destroyed, so we can assume
no alerts are visible.

diff --git a/midori/midori-view.c b/midori/midori-view.c
index d26e3cd2ec28c8c4188f6bb764fb3776eaec5920..5f86a1866818e5f478787a96a32dfd61ddb7afe1 100644 (file)
--- a/midori/midori-view.c
+++ b/midori/midori-view.c
@@ -1036,6 +1036,7 @@ webkit_web_view_load_committed_cb (WebKitWebView*  web_view,
     for (; children; children = g_list_next (children))
         if (g_object_get_data (G_OBJECT (children->data), "midori-infobar-cb"))
             gtk_widget_destroy (children->data);
+    view->alerts = 0;
 
     if (g_strcmp0 (uri, katze_item_get_uri (view->item)))
     {