Changeset 122470 in webkit

Timestamp:

Jul 12, 2012 9:37:18 AM (12 years ago)

Author:

vsevik@chromium.org

Message:

Web Inspector: Remove resources panel edited resources search support.
​https://bugs.webkit.org/show_bug.cgi?id=91101

Reviewed by Pavel Feldman.

• inspector/front-end/ResourcesPanel.js:

(WebInspector.ResourcesPanel.prototype.performSearch.callback):
(WebInspector.ResourcesPanel.prototype.performSearch):

Location:

trunk/Source/WebCore

Files:

• ChangeLog (modified) (1 diff)
• inspector/front-end/ResourcesPanel.js (modified) (3 diffs)

trunk/Source/WebCore/ChangeLog

@@ +1 @@
+2012-07-12  Vsevolod Vlasov  <vsevik@chromium.org>
+
+        Web Inspector: Remove resources panel edited resources search support.
+        https://bugs.webkit.org/show_bug.cgi?id=91101
+
+        Reviewed by Pavel Feldman.
+
+        * inspector/front-end/ResourcesPanel.js:
+        (WebInspector.ResourcesPanel.prototype.performSearch.callback):
+        (WebInspector.ResourcesPanel.prototype.performSearch):
+
 2012-07-12  Vsevolod Vlasov  <vsevik@chromium.org>
 

trunk/Source/WebCore/inspector/front-end/ResourcesPanel.js

@@ -642 +642 @@
         var totalMatchesCount = 0;
 
-        function searchInEditedResource(treeElement)
-        {
-            var resource = treeElement.representedObject;
-            if (resource.history.length == 0)
-                return;
-            var matchesCount = countRegexMatches(regex, resource.content)
-            treeElement.searchMatchesFound(matchesCount);
-            totalMatchesCount += matchesCount;
-        }
-
         function callback(error, result)
         {
@@ -668 +658 @@
                         continue;
 
-                    if (resource.history.length > 0)
-                        continue; // Skip edited resources.
                     this._findTreeElementForResource(resource).searchMatchesFound(searchResult.matchesCount);
                     totalMatchesCount += searchResult.matchesCount;
@@ -682 +670 @@
         }
 
-        this._forAllResourceTreeElements(searchInEditedResource.bind(this));
         PageAgent.searchInResources(regex.source, !regex.ignoreCase, true, callback.bind(this));
     },