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

Add PDF reader tab title pref to General pane

Browse source
This commit is contained in:
Dan Stillman 2023-02-10 01:54:36 -05:00
parent 3be8abeae2
commit c6bcc2572c
2 changed files with 21 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

15
chrome/content/zotero/preferences/preferences_general.xhtml
View file

@ -124,6 +124,21 @@
</hbox> </hbox>
</groupbox> </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> <groupbox>
<label><html:h2>&zotero.preferences.groups;</html:h2></label> <label><html:h2>&zotero.preferences.groups;</html:h2></label>

6
chrome/locale/en-US/zotero/preferences.dtd
View file

@ -30,6 +30,12 @@
<!ENTITY zotero.preferences.trashAutoEmptyDaysPre "Automatically remove items in the trash deleted more than"> <!ENTITY zotero.preferences.trashAutoEmptyDaysPre "Automatically remove items in the trash deleted more than">
<!ENTITY zotero.preferences.trashAutoEmptyDaysPost "days ago"> <!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 "Groups">
<!ENTITY zotero.preferences.groups.whenCopyingInclude "When copying items between libraries, include:"> <!ENTITY zotero.preferences.groups.whenCopyingInclude "When copying items between libraries, include:">
<!ENTITY zotero.preferences.groups.childNotes "child notes"> <!ENTITY zotero.preferences.groups.childNotes "child notes">