mirrors/zotero
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

Change "Add-ons" to "Plugins" in Tools menu

Browse source 
Addresses #3354
This commit is contained in:
Dan Stillman 2024-03-30 05:11:42 -04:00
parent 0d9a34ba28
commit 38e4fea455
2 changed files with 4 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
chrome/content/zotero/zoteroPane.xhtml
View file

@ -678,7 +678,7 @@
accessKey="&installConnector.accesskey;"
label="&installConnector.label;"
oncommand="ZoteroStandalone.openHelp('connectors');"/>
<menuitem id="menu_addons" label="&addons.label;"
<menuitem id="menu_addons" data-l10n-id="menu-tools-plugins"
oncommand="Zotero.openInViewer('chrome://mozapps/content/extensions/aboutaddons.html', { onLoad: ZoteroStandalone.updateAddonsPane })"/>
<menu id="developer-menu"
label="&developer.label;">

3
chrome/locale/en-US/zotero/zotero.ftl
View file

@ -42,6 +42,9 @@ menu-restoreToLibrary =
menu-deletePermanently =
.label = Delete Permanently…
menu-tools-plugins =
.label = Plugins
zotero-toolbar-tabs-menu =
.tooltiptext = List all tabs
filter-collections = Filter Collections