Show a few missing options in Tools menu when PDF reader tab is open
Fixes #2502
This commit is contained in:
parent
41bdd36068
commit
fe14ee79a3
2 changed files with 2 additions and 3 deletions
|
@ -457,11 +457,10 @@
|
||||||
command="cmd_zotero_rtfScan"/>
|
command="cmd_zotero_rtfScan"/>
|
||||||
<menuseparator/>
|
<menuseparator/>
|
||||||
<menuitem id="installConnector"
|
<menuitem id="installConnector"
|
||||||
class="menu-type-library"
|
|
||||||
accessKey="&installConnector.accesskey;"
|
accessKey="&installConnector.accesskey;"
|
||||||
label="&installConnector.label;"
|
label="&installConnector.label;"
|
||||||
oncommand="ZoteroStandalone.openHelp('connectors');"/>
|
oncommand="ZoteroStandalone.openHelp('connectors');"/>
|
||||||
<menuitem id="menu_addons" class="menu-type-library" label="&addons.label;"
|
<menuitem id="menu_addons" label="&addons.label;"
|
||||||
oncommand="Zotero.openInViewer('chrome://mozapps/content/extensions/extensions.xul', ZoteroStandalone.updateAddonsPane)"/>
|
oncommand="Zotero.openInViewer('chrome://mozapps/content/extensions/extensions.xul', ZoteroStandalone.updateAddonsPane)"/>
|
||||||
<menu id="developer-menu"
|
<menu id="developer-menu"
|
||||||
label="&developer.label;">
|
label="&developer.label;">
|
||||||
|
|
|
@ -1 +1 @@
|
||||||
Subproject commit 4225b6b2cfb175daacf47cd88b0c206b4f71981f
|
Subproject commit 1a3fa7b30df0a1530d49042a308e0840ac907f1a
|
Loading…
Add table
Add a link
Reference in a new issue