From 52b4fc0b9da2c78ce24c9576f288b3e16faad57e Mon Sep 17 00:00:00 2001
From: Abe Jellinek <jellinek@berkeley.edu>
Date: Sun, 20 Jul 2025 10:23:16 -0400
Subject: [PATCH] Preferences: Fix sandbox destructor

---
 chrome/content/zotero/preferences/preferences.js | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/chrome/content/zotero/preferences/preferences.js b/chrome/content/zotero/preferences/preferences.js
index 889b214b50..a81b217887 100644
--- a/chrome/content/zotero/preferences/preferences.js
+++ b/chrome/content/zotero/preferences/preferences.js
@@ -95,9 +95,9 @@ var Zotero_Preferences = {
 				let event = new Event('unload');
 				child.dispatchEvent(event);
 			}
-			if (pane.sandbox) {
-				Cu.nukeSandbox(pane.sandbox);
-				pane.sandbox = null;
+			if (pane.scope) {
+				Cu.nukeSandbox(pane.scope);
+				pane.scope = null;
 			}
 		}
 	},