Right-click menu: prevent the dash from hiding while the menu is open.

docking.js

@@ -275,6 +275,9 @@ const DockedDash = new Lang.Class({
         });
         this._box.connect('notify::hover', Lang.bind(this, this._hoverChanged));
 
+        // This is for the menu to access the settings with right-click
+        this.dash._containerObject.menu.connect('menu-closed', Lang.bind(this, this._hoverChanged))
+
         // Create and apply height constraint to the dash. It's controlled by this.actor height
         this.constrainSize = new Clutter.BindConstraint({
             source: this.actor,
@@ -692,6 +695,10 @@ const DockedDash = new Lang.Class({
     },
 
     _hoverChanged: function() {
+        if (this.dash._containerObject.menu.isOpen) {
+            return;
+        }
+
         if (!this._ignoreHover) {
             // Skip if dock is not in autohide mode for instance because it is shown
             // by intellihide.