From c6bcc2572c7cd524d33b85bb8315f4475c215988 Mon Sep 17 00:00:00 2001
From: Dan Stillman <dstillman@zotero.org>
Date: Fri, 10 Feb 2023 01:54:36 -0500
Subject: [PATCH] Add PDF reader tab title pref to General pane

---
 .../zotero/preferences/preferences_general.xhtml  | 15 +++++++++++++++
 chrome/locale/en-US/zotero/preferences.dtd        |  6 ++++++
 2 files changed, 21 insertions(+)

diff --git a/chrome/content/zotero/preferences/preferences_general.xhtml b/chrome/content/zotero/preferences/preferences_general.xhtml
index 4730d197f9..5bf14cbac4 100644
--- a/chrome/content/zotero/preferences/preferences_general.xhtml
+++ b/chrome/content/zotero/preferences/preferences_general.xhtml
@@ -124,6 +124,21 @@
 		</hbox>
 	</groupbox>
 	
+	<groupbox id="zotero-prefpane-reader-groupbox">
+		<label><html:h2>&zotero.preferences.pdfReader;</html:h2></label>
+		
+		<hbox align="center">
+			<label value="&zotero.preferences.reader.tabsTitle.label;" control="reader-tabs-title"/>
+			<menulist id="reader-tabs-title" preference="extensions.zotero.tabs.title.reader" native="true">
+				<menupopup>
+					<menuitem label="&zotero.preferences.reader.tabsTitle.titleCreatorYear;" value="titleCreatorYear"/>
+					<menuitem label="&zotero.preferences.reader.tabsTitle.creatorYearTitle;" value="creatorYearTitle"/>
+					<menuitem label="&zotero.preferences.reader.tabsTitle.filename;" value="filename"/>
+				</menupopup>
+			</menulist>
+		</hbox>
+	</groupbox>
+	
 	<groupbox>
 		<label><html:h2>&zotero.preferences.groups;</html:h2></label>
 		
diff --git a/chrome/locale/en-US/zotero/preferences.dtd b/chrome/locale/en-US/zotero/preferences.dtd
index ef54d8348e..c3b2955fc2 100644
--- a/chrome/locale/en-US/zotero/preferences.dtd
+++ b/chrome/locale/en-US/zotero/preferences.dtd
@@ -30,6 +30,12 @@
 <!ENTITY zotero.preferences.trashAutoEmptyDaysPre		"Automatically remove items in the trash deleted more than">
 <!ENTITY zotero.preferences.trashAutoEmptyDaysPost		"days ago">
 
+<!ENTITY zotero.preferences.pdfReader                          "PDF Reader">
+<!ENTITY zotero.preferences.reader.tabsTitle.label             "Show tabs as">
+<!ENTITY zotero.preferences.reader.tabsTitle.creatorYearTitle  "Creator - Year - Title">
+<!ENTITY zotero.preferences.reader.tabsTitle.titleCreatorYear  "Title - Creator - Year">
+<!ENTITY zotero.preferences.reader.tabsTitle.filename          "Filename">
+
 <!ENTITY zotero.preferences.groups						"Groups">
 <!ENTITY zotero.preferences.groups.whenCopyingInclude	"When copying items between libraries, include:">
 <!ENTITY zotero.preferences.groups.childNotes			"child notes">