From 69a1e0f1b997dbf4412962f4eccfcec8500f4a94 Mon Sep 17 00:00:00 2001
From: Mauro Balades <mauro.balades@tutanota.com>
Date: Tue, 20 Aug 2024 18:00:23 +0200
Subject: [PATCH] chore: Refactor zen-settings.js to improve preference
 handling

---
 src/browser/components/preferences/zen-settings.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/browser/components/preferences/zen-settings.js b/src/browser/components/preferences/zen-settings.js
index c918f0956..4916e4aa5 100644
--- a/src/browser/components/preferences/zen-settings.js
+++ b/src/browser/components/preferences/zen-settings.js
@@ -96,7 +96,7 @@ var gZenMarketplaceManager = {
       }
       if (isNegation && os === this.currentOperatingSystem) {
         delete preferences[key];
-      } else if (os && os !== this.currentOperatingSystem) {
+      } else if (os && os !== this.currentOperatingSystem && !isNegation) {
         delete preferences[key];
       } else {
         // Change the key to contain only the rest of the preferences.