From 42219772a73a0d7270d52494992aad6989f4c418 Mon Sep 17 00:00:00 2001
From: Dan Stillman <dstillman@zotero.org>
Date: Sun, 8 Sep 2024 01:47:16 -0400
Subject: [PATCH] Reset ui.popup.disable_autohide

Closes #4674
---
 chrome/content/zotero/xpcom/prefs.js | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

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);