diff --git a/chrome/content/zotero/xpcom/prefs.js b/chrome/content/zotero/xpcom/prefs.js index d405a23669..536d8a1005 100644 --- a/chrome/content/zotero/xpcom/prefs.js +++ b/chrome/content/zotero/xpcom/prefs.js @@ -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);