From 0a70b56cedd9edbfc30ba1459a0664502958193a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?C=C3=A9sar=20Quintana?=
 <43949299+cesar19004@users.noreply.github.com>
Date: Sun, 9 Feb 2025 23:06:16 -0600
Subject: [PATCH] fix autohide after drag event

---
 docking.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docking.js b/docking.js
index f79804dee..f92d3dc72 100644
--- a/docking.js
+++ b/docking.js
@@ -1265,6 +1265,7 @@ const DockedDash = GObject.registerClass({
             this._ignoreHover = this._oldIgnoreHover;
         this._oldIgnoreHover = null;
         this._box.sync_hover();
+        this._updateDashVisibility();
     }
 
     /**