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