Index: Source/devtools/front_end/sources/SourcesView.js |
diff --git a/Source/devtools/front_end/sources/SourcesView.js b/Source/devtools/front_end/sources/SourcesView.js |
index baa08dd4bebc225d2bda2431349a77e557d8cbdd..0449f3323b7fffb5b25f7c68c160b5ff3e5c154a 100644 |
--- a/Source/devtools/front_end/sources/SourcesView.js |
+++ b/Source/devtools/front_end/sources/SourcesView.js |
@@ -480,7 +480,7 @@ WebInspector.SourcesView.prototype = { |
this._historyManager.pushNewState(); |
this._searchableView.setReplaceable(!!sourceFrame && sourceFrame.canEditSource()); |
- this._searchableView.resetSearch(); |
+ this._searchableView.refreshSearch(); |
this.dispatchEventToListeners(WebInspector.SourcesView.Events.EditorSelected, uiSourceCode); |
}, |