fix autohide after drag event

micheleg · Feb 10, 2025 · 0a70b56 · 0a70b56
1 parent 152a4da
commit 0a70b56
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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();
     }
 
     /**