Magic-Mirror/gecko-dev
1
0
Fork 0
mirror of https://github.com/mozilla/gecko-dev.git synced 2024-11-30 00:01:50 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Bug 1269237 - Stop disabling F12 shortcut when Firebug is installed. r=Honza

Browse Source
This commit is contained in:
Alexandre Poirot 2016-05-18 10:32:01 -07:00
parent 2d0a7ac9f6
commit 064615dd9e
1 changed files with 2 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
devtools/client/menus.js
View File

@ -43,15 +43,6 @@ loader.lazyImporter(this, "BrowserToolboxProcess", "resource://devtools/client/f
loader.lazyImporter(this, "ResponsiveUIManager", "resource://devtools/client/responsivedesign/responsivedesign.jsm");
loader.lazyImporter(this, "ScratchpadManager", "resource://devtools/client/scratchpad/scratchpad-manager.jsm");
/**
* Detect the presence of a Firebug.
*/
function isFirebugInstalled() {
let bootstrappedAddons = Services.prefs
.getCharPref("extensions.bootstrappedAddons");
return bootstrappedAddons.indexOf("firebug@software.joehewitt.com") != -1;
}
exports.menuitems = [
{ id: "menu_devToolbox",
l10nKey: "devToolboxMenuItem",
@ -66,11 +57,10 @@ exports.menuitems = [
// and needs to be translated differently
keytext: true,
},
// This key conflicts with firebug, only enable it when it's not installed.
additionalKeys: !isFirebugInstalled() ? [{
additionalKeys: [{
id: "devToolboxMenuItemF12",
l10nKey: "devToolsCmd",
}] : null,
}],
checkbox: true
},
{ id: "menu_devtools_separator",