Index: third_party/WebKit/Source/devtools/front_end/extensions/ExtensionPanel.js |
diff --git a/third_party/WebKit/Source/devtools/front_end/extensions/ExtensionPanel.js b/third_party/WebKit/Source/devtools/front_end/extensions/ExtensionPanel.js |
index c9aa41c769f2ad0bd16b86b0982781a214ef40be..8a84df6ed782ecd1eadf0842e89f4e5545b51575 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/extensions/ExtensionPanel.js |
+++ b/third_party/WebKit/Source/devtools/front_end/extensions/ExtensionPanel.js |
@@ -249,7 +249,7 @@ |
delete this._objectPropertiesView; |
} |
if (this._extensionView) |
- this._extensionView.detach(); |
+ this._extensionView.detach(true); |
this._extensionView = new WebInspector.ExtensionView(this._server, this._id, url, "extension fill"); |
this._extensionView.show(this.element); |
@@ -286,7 +286,7 @@ |
if (this._objectPropertiesView) |
return; |
if (this._extensionView) { |
- this._extensionView.detach(); |
+ this._extensionView.detach(true); |
delete this._extensionView; |
} |
this._objectPropertiesView = new WebInspector.ExtensionNotifierView(this._server, this._id); |