| Index: Source/devtools/front_end/elements/ElementsPanel.js
|
| diff --git a/Source/devtools/front_end/elements/ElementsPanel.js b/Source/devtools/front_end/elements/ElementsPanel.js
|
| index dfd905c2bc7977c367c3e5e8cfe457915e83985d..24a1fa3bb8af497aee1d5a7aa802bac3619742c9 100644
|
| --- a/Source/devtools/front_end/elements/ElementsPanel.js
|
| +++ b/Source/devtools/front_end/elements/ElementsPanel.js
|
| @@ -44,7 +44,7 @@ WebInspector.ElementsPanel = function()
|
| this._splitView.addEventListener(WebInspector.SplitView.Events.SidebarSizeChanged, this._updateTreeOutlineVisibleWidth.bind(this));
|
| this._splitView.show(this.element);
|
|
|
| - this._searchableView = new WebInspector.SearchableView(this);
|
| + this._searchableView = new WebInspector.SearchableView(this, false);
|
| this._searchableView.setMinimumSize(25, 19);
|
| this._searchableView.show(this._splitView.mainElement());
|
| var stackElement = this._searchableView.element;
|
|
|