[SCM] WebKit Debian packaging branch, webkit-1.3, updated. upstream/1.3.7-4207-g178b198

[pfeldman at chromium.org]

The following commit has been merged in the webkit-1.3 branch:
commit 1182b13451603a4557830dd51d98f7c89178182d
Author: pfeldman at chromium.org <pfeldman at chromium.org@268f45cc-cd09-0410-ab3c-d52691b4dbfc>
Date:   Tue Jan 11 16:33:23 2011 +0000

    2011-01-11  Pavel Feldman  <pfeldman at chromium.org>
    
            Reviewed by Yury Semikhatsky.
    
            Web Inspector: redirects are lost from the network panel upon navigation.
            https://bugs.webkit.org/show_bug.cgi?id=52210
    
            * inspector/front-end/NetworkManager.js:
            (WebInspector.NetworkManager.prototype.didCommitLoadForFrame):
    
    git-svn-id: http://svn.webkit.org/repository/webkit/trunk@75503 268f45cc-cd09-0410-ab3c-d52691b4dbfc

diff --git a/Source/WebCore/ChangeLog b/Source/WebCore/ChangeLog
index 870268b..336fcf6 100644
--- a/Source/WebCore/ChangeLog
+++ b/Source/WebCore/ChangeLog
@@ -1,3 +1,13 @@
+2011-01-11  Pavel Feldman  <pfeldman at chromium.org>
+
+        Reviewed by Yury Semikhatsky.
+
+        Web Inspector: redirects are lost from the network panel upon navigation.
+        https://bugs.webkit.org/show_bug.cgi?id=52210
+
+        * inspector/front-end/NetworkManager.js:
+        (WebInspector.NetworkManager.prototype.didCommitLoadForFrame):
+
 2011-01-11  Jocelyn Turcotte  <jocelyn.turcotte at nokia.com>
 
         Reviewed by Kenneth Rohde Christiansen.
diff --git a/Source/WebCore/inspector/front-end/NetworkManager.js b/Source/WebCore/inspector/front-end/NetworkManager.js
index 0c44103..adb6ca2 100644
--- a/Source/WebCore/inspector/front-end/NetworkManager.js
+++ b/Source/WebCore/inspector/front-end/NetworkManager.js
@@ -231,6 +231,7 @@ WebInspector.NetworkManager.prototype = {
             if (mainResource) {
                 WebInspector.mainResource = mainResource;
                 mainResource.isMainResource = true;
+                WebInspector.panels.network.refreshResource(mainResource);
             }
         }
     },

-- 
WebKit Debian packaging