Title: [122470] trunk/Source/WebCore
- Revision
- 122470
- Author
- vse...@chromium.org
- Date
- 2012-07-12 09:37:18 -0700 (Thu, 12 Jul 2012)
Log 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):
Modified Paths
Diff
Modified: trunk/Source/WebCore/ChangeLog (122469 => 122470)
--- trunk/Source/WebCore/ChangeLog 2012-07-12 16:35:57 UTC (rev 122469)
+++ trunk/Source/WebCore/ChangeLog 2012-07-12 16:37:18 UTC (rev 122470)
@@ -1,5 +1,16 @@
2012-07-12 Vsevolod Vlasov <vse...@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 <vse...@chromium.org>
+
Unreviewed r122460 inspector closure compilation fix follow up.
* inspector/front-end/RevisionHistoryView.js:
Modified: trunk/Source/WebCore/inspector/front-end/ResourcesPanel.js (122469 => 122470)
--- trunk/Source/WebCore/inspector/front-end/ResourcesPanel.js 2012-07-12 16:35:57 UTC (rev 122469)
+++ trunk/Source/WebCore/inspector/front-end/ResourcesPanel.js 2012-07-12 16:37:18 UTC (rev 122470)
@@ -641,16 +641,6 @@
var regex = WebInspector.SourceFrame.createSearchRegex(query);
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)
{
if (!error) {
@@ -667,8 +657,6 @@
if (!resource)
continue;
- if (resource.history.length > 0)
- continue; // Skip edited resources.
this._findTreeElementForResource(resource).searchMatchesFound(searchResult.matchesCount);
totalMatchesCount += searchResult.matchesCount;
}
@@ -681,7 +669,6 @@
this.jumpToNextSearchResult();
}
- this._forAllResourceTreeElements(searchInEditedResource.bind(this));
PageAgent.searchInResources(regex.source, !regex.ignoreCase, true, callback.bind(this));
},
_______________________________________________
webkit-changes mailing list
webkit-changes@lists.webkit.org
http://lists.webkit.org/mailman/listinfo/webkit-changes
