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

Reset ui.popup.disable_autohide
Some checks failed
CI / Build, Upload, Test (push) Has been cancelled
Details

Browse source 
Closes #4674
This commit is contained in:
Dan Stillman 2024-09-08 01:47:16 -04:00
parent 5233e0f487
commit 42219772a7
1 changed files with 7 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
chrome/content/zotero/xpcom/prefs.js
View file

@ -44,7 +44,7 @@ Zotero.Prefs = new function() {
// Process pref version updates
var fromVersion = this.get('prefVersion');
var toVersion = 12;
var toVersion = 13;
if (!fromVersion) {
this.set('prefVersion', toVersion);
}
@ -142,6 +142,12 @@ Zotero.Prefs = new function() {
case 12:
Zotero.Prefs.set('firstRunGuidanceShown.z7Banner', false);
break;
// Reset popup pref if changed by plugins
// https://github.com/windingwind/zotero-plugin-toolkit/commit/47fc9ddea
case 13:
Zotero.Prefs.clear('ui.popup.disable_autohide', true);
break;
}
}
this.set('prefVersion', toVersion);