Changeset 71136 in webkit

Timestamp:

Nov 2, 2010 11:12:18 AM (13 years ago)

Author:

pfeldman@chromium.org

Message:

2010-11-02 Pavel Feldman <​pfeldman@chromium.org>

Reviewed by Timothy Hatcher.

Web Inspector: clear / hide timing information for cached resources.
​https://bugs.webkit.org/show_bug.cgi?id=48848

• inspector/front-end/Resource.js: (WebInspector.Resource.prototype.set cached): (WebInspector.Resource.prototype.get timing): (WebInspector.Resource.prototype.set timing):
• inspector/front-end/ResourceManager.js: (WebInspector.ResourceManager.prototype.markResourceAsCached):

Location:

trunk/WebCore

Files:

• ChangeLog (modified) (1 diff)
• inspector/front-end/Resource.js (modified) (1 diff)
• inspector/front-end/ResourceManager.js (modified) (1 diff)

trunk/WebCore/ChangeLog

@@ +1 @@
+2010-11-02  Pavel Feldman  <pfeldman@chromium.org>
+
+        Reviewed by Timothy Hatcher.
+
+        Web Inspector: clear / hide timing information for cached resources.
+        https://bugs.webkit.org/show_bug.cgi?id=48848
+
+        * inspector/front-end/Resource.js:
+        (WebInspector.Resource.prototype.set cached):
+        (WebInspector.Resource.prototype.get timing):
+        (WebInspector.Resource.prototype.set timing):
+        * inspector/front-end/ResourceManager.js:
+        (WebInspector.ResourceManager.prototype.markResourceAsCached):
+
 2010-11-02  Pavel Feldman  <pfeldman@chromium.org>
 

trunk/WebCore/inspector/front-end/Resource.js

@@ -288 +288 @@
     {
         this._cached = x;
+        if (x)
+            delete this._timing;
+    },
+
+
+    get timing()
+    {
+        return this._timing;
+    },
+
+    set timing(x)
+    {
+        if (!this._cached)
+            this._timing = x;
     },
 

trunk/WebCore/inspector/front-end/ResourceManager.js

@@ -138 +138 @@
 
         resource.cached = true;
-        delete resource.timing;
         WebInspector.panels.network.refreshResource(resource);
     },