Bug 1455573 - Part 1: Introduce extensionId to the tool definition for web extension. r?rpl draft
authorDaisuke Akatsuka <dakatsuka@mozilla.com>
Fri, 27 Apr 2018 06:29:04 +0900
changeset 788739 d459fe18f67d667ea3bacb3c0241b57844dc5b61
parent 788701 93051649414dca637dc95a04bf304452e453090f
child 788740 7a243dc409865125e87c0c7c5bcc4803a36b1327
push id108078
push userbmo:dakatsuka@mozilla.com
push dateThu, 26 Apr 2018 22:25:18 +0000
reviewersrpl
bugs1455573
milestone61.0a1
Bug 1455573 - Part 1: Introduce extensionId to the tool definition for web extension. r?rpl MozReview-Commit-ID: Fu6EfU71LHO
browser/components/extensions/parent/ext-devtools-panels.js
--- a/browser/components/extensions/parent/ext-devtools-panels.js
+++ b/browser/components/extensions/parent/ext-devtools-panels.js
@@ -75,16 +75,17 @@ class ParentDevToolsPanel {
   }
 
   addPanel() {
     const {icon, title} = this.panelOptions;
     const extensionName = this.context.extension.name;
 
     this.toolbox.addAdditionalTool({
       id: this.id,
+      extensionId: this.context.extension.id,
       url: "chrome://browser/content/webext-panels.xul",
       icon: icon,
       label: title,
       tooltip: `DevTools Panel added by "${extensionName}" add-on.`,
       isTargetSupported: target => target.isLocalTab,
       build: (window, toolbox) => {
         if (toolbox !== this.toolbox) {
           throw new Error("Unexpected toolbox received on addAdditionalTool build property");