"Zotero Preferences" → "Zotero Settings" on macOS

Fixes #3105
This commit is contained in:
Dan Stillman 2023-05-07 04:55:01 -04:00
parent 87c71f74a0
commit 371bcfea81
2 changed files with 12 additions and 1 deletions

View file

@ -43,7 +43,7 @@
the switch statement in Zotero.Prefs.observe().
-->
<window id="zotero-prefs"
title="&zotero.preferences.title;"
data-l10n-id="preferences-window"
onload="Zotero_Preferences.init()"
onunload="Zotero_Preferences.onUnload()"
windowtype="zotero:pref"
@ -51,6 +51,11 @@
xmlns:html="http://www.w3.org/1999/xhtml"
style="display: flex;">
<linkset>
<html:link rel="localization" href="branding/brand.ftl"/>
<html:link rel="localization" href="preferences.ftl"/>
</linkset>
<script>
var { Services } = ChromeUtils.import("resource://gre/modules/Services.jsm");

View file

@ -0,0 +1,6 @@
preferences-window =
.title =
{ PLATFORM() ->
[macos] { -app-name } Settings
*[other] { -app-name } Preferences
}