зеркало из https://github.com/mozilla/pjs.git
Bug 582664 - Add a Developer menu to the app button. r=dolske, ui-r=limi, a2.0=gavin
This commit is contained in:
Родитель
839287ef4a
Коммит
ef12fb714d
|
@ -495,6 +495,22 @@
|
|||
</menupopup>
|
||||
</menu>
|
||||
<menuseparator/>
|
||||
<menu id="appmenu_developer"
|
||||
label="&developerMenu.label;">
|
||||
<menupopup>
|
||||
<menuitem id="appmenu_pageSource"
|
||||
label="&pageSourceCmd.label;"
|
||||
command="View:PageSource"/>
|
||||
<menuseparator/>
|
||||
<menuitem id="appmenu_pageInspect"
|
||||
label="&inspectMenu.label;"
|
||||
command="Tools:Inspect"/>
|
||||
<menuitem id="appmenu_webConsole"
|
||||
label="&webConsoleCmd.label;"
|
||||
oncommand="HUDConsoleUI.toggleHUD();"/>
|
||||
</menupopup>
|
||||
</menu>
|
||||
<menuseparator/>
|
||||
<menu id="appmenu_customize"
|
||||
label="&appMenuCustomize.label;">
|
||||
<menupopup id="appmenu_customizeMenu"
|
||||
|
|
|
@ -257,6 +257,8 @@
|
|||
<!ENTITY appMenuSidebars.label "Sidebars">
|
||||
<!ENTITY appMenuHelp.label "Help">
|
||||
|
||||
<!ENTITY developerMenu.label "Developer">
|
||||
|
||||
<!ENTITY openCmd.commandkey "l">
|
||||
<!ENTITY urlbar.placeholder "Go to a Web Site">
|
||||
<!ENTITY urlbar.accesskey "d">
|
||||
|
|
Загрузка…
Ссылка в новой задаче