| 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 c5c5813fa33ad51eb7d1a168d3223a4498ac7928..c1d17ad4654b9957f47b4dbc03bfc0f38ca0308b 100644
|
| --- a/Source/devtools/front_end/sources/SourcesView.js
|
| +++ b/Source/devtools/front_end/sources/SourcesView.js
|
| @@ -21,7 +21,7 @@ WebInspector.SourcesView = function(workspace, sourcesPanel)
|
| this._workspace = workspace;
|
| this._sourcesPanel = sourcesPanel;
|
|
|
| - this._searchableView = new WebInspector.SearchableView(this);
|
| + this._searchableView = new WebInspector.SearchableView(this, false);
|
| this._searchableView.setMinimalSearchQuerySize(0);
|
| this._searchableView.show(this.element);
|
|
|
|
|