diff options
Diffstat (limited to 'devtools/client/framework/browser-menus.js')
-rw-r--r-- | devtools/client/framework/browser-menus.js | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/devtools/client/framework/browser-menus.js b/devtools/client/framework/browser-menus.js index 15d2ec1b6..33a0a2da5 100644 --- a/devtools/client/framework/browser-menus.js +++ b/devtools/client/framework/browser-menus.js @@ -133,10 +133,11 @@ function attachKeybindingsToBrowser(doc, keys) { */ function createToolMenuElements(toolDefinition, doc) { let id = toolDefinition.id; + let appmenuId = "appmenuitem_" + id; let menuId = "menuitem_" + id; // Prevent multiple entries for the same tool. - if (doc.getElementById(menuId)) { + if (doc.getElementById(appmenuId) || doc.getElementById(menuId)) { return; } @@ -321,6 +322,7 @@ function addTopLevelItems(doc) { doc, id: "app" + id, label: l10n(l10nKey + ".label"), + accesskey: null, isCheckbox: item.checkbox }); let menuitem = createMenuItem({ |