Index: Source/devtools/front_end/profiler/ProfilesPanel.js |
diff --git a/Source/devtools/front_end/profiler/ProfilesPanel.js b/Source/devtools/front_end/profiler/ProfilesPanel.js |
index af31e850247f350783d2f64efdbfc7055391b467..d18ef53bb9ff14812afc8bd6a65954bbebdff0bd 100644 |
--- a/Source/devtools/front_end/profiler/ProfilesPanel.js |
+++ b/Source/devtools/front_end/profiler/ProfilesPanel.js |
@@ -867,12 +867,13 @@ WebInspector.ProfilesPanel.prototype = { |
}, |
/** |
- * @param {string} query |
+ * @param {!WebInspector.SearchableView.SearchConfig} searchConfig |
* @param {boolean} shouldJump |
* @param {boolean=} jumpBackwards |
*/ |
- performSearch: function(query, shouldJump, jumpBackwards) |
+ performSearch: function(searchConfig, shouldJump, jumpBackwards) |
{ |
+ var query = searchConfig.query; |
this.searchCanceled(); |
var visibleView = this.visibleView; |
@@ -921,6 +922,22 @@ WebInspector.ProfilesPanel.prototype = { |
this._searchableView.updateCurrentMatchIndex(this._searchResultsView.currentSearchResultIndex()); |
}, |
+ /** |
+ * @return {boolean} |
+ */ |
+ supportsCaseSensitiveSearch: function() |
+ { |
+ return false; |
+ }, |
+ |
+ /** |
+ * @return {boolean} |
+ */ |
+ supportsRegexSearch: function() |
+ { |
+ return false; |
+ }, |
+ |
searchCanceled: function() |
{ |
if (this._searchResultsView) { |