From 143519d72f0125f5568f874e8d5f975cc3e3a362 Mon Sep 17 00:00:00 2001
From: Andriy Zyn`uk <62100293+andrijzyn@users.noreply.github.com>
Date: Sun, 19 Jul 2026 22:17:12 +0200
Subject: [PATCH] Update autohide.js

That allow to close dock from Modal dialogs(blocks its parent window) ans Utilities(a small floating helper window that accompanies the main app)

Just one logical mistake
---
 autohide.js | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/autohide.js b/autohide.js
index d47d6a7..fea3582 100644
--- a/autohide.js
+++ b/autohide.js
@@ -251,7 +251,9 @@ export let AutoHide = class {
       (w) =>
         workspace == w.get_workspace().index() && w.showing_on_its_workspace()
     );
-    windows = windows.filter((w) => w.get_window_type() in handledWindowTypes);
+    windows = windows.filter((w) =>
+      handledWindowTypes.includes(w.get_window_type())
+    );
 
     let isOverlapped = false;
     let dockRect = this.dock.struts.get_transformed_position();