From 6e357f8530db8c2c6e94eb9d36361c90bfdd48b2 Mon Sep 17 00:00:00 2001
From: Daniel Sheeler <dsheeler@pobox.com>
Date: Wed, 21 Aug 2024 13:24:36 -0500
Subject: [PATCH] Remove unnecessary deletion of window in window close handler

---
 src/prefs.js | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/prefs.js b/src/prefs.js
index 22e946f..43be561 100644
--- a/src/prefs.js
+++ b/src/prefs.js
@@ -552,8 +552,7 @@ export default class CoverflowAltTabPreferences extends ExtensionPreferences {
               settings.set_double("prefs-default-width", currentWidth);
               settings.set_double("prefs-default-height", currentHeight);
             }
-            window.destroy();
-          });
+        });
     }
 }