| 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([]);
|
| },
|
|
|