Move Tools -> Options to Edit -> Preferences on Windows

Closes #1167
This commit is contained in:
Dan Stillman 2017-07-17 20:23:30 -04:00
parent 76030d2c4a
commit 5268060802

View File

@ -47,11 +47,11 @@
key="key_quitApplication" key="key_quitApplication"
command="cmd_quitApplication"/> command="cmd_quitApplication"/>
</menupopup> </menupopup>
<menupopup id="menu_ToolsPopup"> <menupopup id="menu_EditPopup">
<menuseparator/> <menuseparator/>
<menuitem id="menu_preferences" <menuitem id="menu_preferences"
label="&preferencesCmd2.label;" label="&preferencesCmdUnix.label;"
accesskey="&preferencesCmd2.accesskey;" accesskey="&preferencesCmdUnix.accesskey;"
oncommand="Zotero.Utilities.Internal.openPreferences();"/> oncommand="Zotero.Utilities.Internal.openPreferences();"/>
</menupopup> </menupopup>
</overlay> </overlay>