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"); |