docking: Check if autohide or intellihide is enabled on menu closed

We should not always hide the menus depending on the mouse position, but this depends on the current user configurations. LP: #1983130 Closes: #1769
micheleg · Oct 13, 2022 · 4ffdead · 4ffdead · D3vil0p3r · Jan 12, 2023
1 parent 0e95665
commit 4ffdead
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docking.js b/docking.js
@@ -731,7 +731,7 @@ var DockedDash = GObject.registerClass({
     _onMenuClosed() {
         this._ignoreHover = false;
         this._box.sync_hover();
-        this._hoverChanged();
+        this._updateDashVisibility();
     }
 
     _hoverChanged() {