| Index: Source/devtools/front_end/extensions/ExtensionView.js
|
| diff --git a/Source/devtools/front_end/extensions/ExtensionView.js b/Source/devtools/front_end/extensions/ExtensionView.js
|
| index 8a44b01faac1c42a2431ff9e342091e6431acb67..5f5f7fe13cd9ceb3e76b068971ed9ac17d3b6fa4 100644
|
| --- a/Source/devtools/front_end/extensions/ExtensionView.js
|
| +++ b/Source/devtools/front_end/extensions/ExtensionView.js
|
| @@ -39,6 +39,7 @@
|
| WebInspector.ExtensionView = function(server, id, src, className)
|
| {
|
| WebInspector.Widget.call(this);
|
| + this.setHideOnDetach();
|
| this.element.className = "vbox flex-auto"; // Override
|
|
|
| this._server = server;
|
|
|