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

Add extensions.zotero.reopenPanesOnRestart hidden pref

Browse source 
Closes
This commit is contained in:
Dan Stillman 2019-11-21 23:51:11 -07:00
parent bfe3f7ebf9
commit 8417ad7c80
2 changed files with 3 additions and 1 deletions
chrome/content/zotero
zoteroPane.js
defaults/preferences
zotero.js

3
chrome/content/zotero/zoteroPane.js
View file

@ -4926,7 +4926,8 @@ var ZoteroPane = new function()
// people close them by accident and don't know how to get them back
// TODO: Add a hidden pref to allow them to stay closed if people really want that?
if ((el.id == 'zotero-collections-splitter' || el.id == 'zotero-items-splitter')
&& attr == 'state') {
&& attr == 'state'
&& Zotero.Prefs.get('reopenPanesOnRestart')) {
continue;
}
el.setAttribute(attr, elValues[attr]);

1
defaults/preferences/zotero.js
View file

@ -47,6 +47,7 @@ pref("extensions.zotero.trashAutoEmptyDays", 30);
pref("extensions.zotero.viewOnDoubleClick", true);
pref("extensions.zotero.firstRunGuidance", true);
pref("extensions.zotero.showConnectorVersionWarning", true);
pref("extensions.zotero.reopenPanesOnRestart", true);
pref("extensions.zotero.groups.copyChildLinks", true);
pref("extensions.zotero.groups.copyChildFileAttachments", true);