Index: Source/WebCore/inspector/front-end/Resource.js |
=================================================================== |
--- Source/WebCore/inspector/front-end/Resource.js (revision 98111) |
+++ Source/WebCore/inspector/front-end/Resource.js (working copy) |
@@ -883,7 +883,7 @@ |
this._innerRequestContent(); |
}, |
- searchInContent: function(query, callback) |
+ searchInContent: function(query, caseSensitive, isRegex, callback) |
{ |
function callbackWrapper(error, searchMatches) |
{ |
@@ -891,7 +891,7 @@ |
} |
if (this.frameId) |
- PageAgent.searchInResource(this.frameId, this.url, query, callbackWrapper); |
+ PageAgent.searchInResource(this.frameId, this.url, query, caseSensitive, isRegex, callbackWrapper); |
else |
callback([]); |
}, |