intellihide: enable/disable unredirect when dock shows/hides

docking.js

@@ -243,6 +243,10 @@ const DockedDash = GObject.registerClass({
         this._autohideIsEnabled = null;
         this._intellihideIsEnabled = null;
 
+        // This variable counts how many times Meta.disable_unredirect_for_display() is called
+        // to help restore the original state when intelihide is disabled.
+        this.disable_unredirect_cnt = 0;
+
         // Create intellihide object to monitor windows overlapping
         this._intellihide = new Intellihide.Intellihide(this.monitorIndex);
 
@@ -481,6 +485,8 @@ const DockedDash = GObject.registerClass({
         if (this._triggerTimeoutId)
             GLib.source_remove(this._triggerTimeoutId);
 
+        this._restoreUnredirect();
+
         // Remove barrier timeout
         if (this._removeBarrierTimeoutId > 0)
             GLib.source_remove(this._removeBarrierTimeoutId);
@@ -662,6 +668,12 @@ const DockedDash = GObject.registerClass({
         ]);
     }
 
+    _restoreUnredirect() {
+        for (let i = 0; i < this.disable_unredirect_cnt; i++)
+            Meta.enable_unredirect_for_display(global.display);
+        this.disable_unredirect_cnt = 0;
+    }
+
     /**
      * This is call when visibility settings change
      */
@@ -682,8 +694,10 @@ const DockedDash = GObject.registerClass({
 
         if (this._intellihideIsEnabled)
             this._intellihide.enable();
-        else
+        else {
             this._intellihide.disable();
+            this._restoreUnredirect();
+        }
 
         this._updateDashVisibility();
     }
@@ -813,6 +827,10 @@ const DockedDash = GObject.registerClass({
     }
 
     _animateIn(time, delay) {
+        if (this._intellihideIsEnabled) {
+            Meta.disable_unredirect_for_display(global.display);
+            this.disable_unredirect_cnt++;
+        }
         this._dockState = State.SHOWING;
         this.dash.iconAnimator.start();
         this._delayedHide = false;
@@ -850,6 +868,10 @@ const DockedDash = GObject.registerClass({
             mode: Clutter.AnimationMode.EASE_OUT_QUAD,
             onComplete: () => {
                 this._dockState = State.HIDDEN;
+                if (this._intellihideIsEnabled && this.disable_unredirect_cnt > 0) {
+                    Meta.enable_unredirect_for_display(global.display);
+                    this.disable_unredirect_cnt--;
+                }
                 // Remove queued barried removal if any
                 if (this._removeBarrierTimeoutId > 0)
                     GLib.source_remove(this._removeBarrierTimeoutId);