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