| Index: Source/devtools/front_end/extensions/ExtensionPanel.js
|
| diff --git a/Source/devtools/front_end/extensions/ExtensionPanel.js b/Source/devtools/front_end/extensions/ExtensionPanel.js
|
| index 636f642b48f0d97b5a94de7cebab7de4da0d2c99..5d4c05954f08ceed3f003ad18d5b518dd4a21327 100644
|
| --- a/Source/devtools/front_end/extensions/ExtensionPanel.js
|
| +++ b/Source/devtools/front_end/extensions/ExtensionPanel.js
|
| @@ -42,7 +42,7 @@ WebInspector.ExtensionPanel = function(id, pageURL)
|
| this.element.classList.add("extension-panel");
|
| this._panelStatusBarElement = this.element.createChild("div", "panel-status-bar hidden");
|
|
|
| - this._searchableView = new WebInspector.SearchableView(this);
|
| + this._searchableView = new WebInspector.SearchableView(this, false);
|
| this._searchableView.show(this.element);
|
|
|
| var extensionView = new WebInspector.ExtensionView(id, pageURL, "extension panel");
|
|
|