зеркало из https://github.com/mozilla/gecko-dev.git
Bug 1690340 - Part 4: Insert the "Page Source" before the "Extensions for Developers" menu item. r=mconley,jdescottes
Differential Revision: https://phabricator.services.mozilla.com/D104871
This commit is contained in:
Родитель
5238d1af94
Коммит
23021a139b
|
@ -269,9 +269,11 @@ function addTopLevelItems(doc) {
|
|||
// There is still "Page Source" menuitem hardcoded into browser.xhtml. Instead
|
||||
// of manually inserting everything around it, move it to the expected
|
||||
// position.
|
||||
const pageSource = doc.getElementById("menu_pageSource");
|
||||
const endSeparator = doc.getElementById("devToolsEndSeparator");
|
||||
menu.insertBefore(pageSource, endSeparator);
|
||||
const pageSourceMenu = doc.getElementById("menu_pageSource");
|
||||
const extensionsForDevelopersMenu = doc.getElementById(
|
||||
"menu_extensionsForDevelopers"
|
||||
);
|
||||
menu.insertBefore(pageSourceMenu, extensionsForDevelopersMenu);
|
||||
}
|
||||
|
||||
/**
|
||||
|
|
Загрузка…
Ссылка в новой задаче