Веб-разработчик menupopup можно найти в:
http://mxr.mozilla.org/mozilla-central/source/browser/base/content/browser-appmenu.inc#144
<menupopup id="appmenu_webDeveloper_popup">
<menuitem id="appmenu_devToolbox">
...
В качестве альтернативы, если у вас есть DOM Inspector, откройте его и перейдите в меню:
File-> Осмотр Хром Документ->chrome://browser/content/browser.xul
(browser.xul обычно должен быть первым элементом (1) с тем же названием, что и панель задач браузера или текущая вкладка).
Затем поиск ID = appmenu_webDeveloper_popup
. Многие другие меню можно найти по адресу ID = mainPopupSet
.
Кроме того, этот блокнотная фрагмент перечислены идентификаторы дочерних элементов, содержащихся в menupopup веб-разработчика (набор блокнота среды в браузер, выполнить, как дисплей для вывода результата):
var webdev=document.getElementById("appmenu_webDeveloper_popup");
var idList=Array.prototype.slice.call(webdev.children).map(function(node){
return node.id;
}).filter(function(id)id);
idList.join("\n");