[gnome-shell/gnome-3-38] workspaceAnimation: Disable unredirection during the gesture

[Robert Mader <rmader src gnome org>]

commit defcfecc93ccc2fcc0da3697dded970c56381f7f
Author: Razze <razzeee gmail com>
Date:   Sun Jan 31 01:46:44 2021 +0100

    workspaceAnimation: Disable unredirection during the gesture
    
    Make sure fullscreen apps can't block the animation.
    
    Backport of 37261792777b759e22a3966246572dd1e1dee578
    Closes https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/3636

 js/ui/windowManager.js | 4 ++++
 1 file changed, 4 insertions(+)
---
diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index 176ec0d856..a5f371c1c6 100644
--- a/js/ui/windowManager.js
+++ b/js/ui/windowManager.js
@@ -1804,9 +1804,13 @@ var WindowManager = class {
                 switchData.windows.splice(switchData.windows.indexOf(w), 1);
             });
         }
+
+        Meta.disable_unredirect_for_display(global.display);
     }
 
     _finishWorkspaceSwitch(switchData) {
+        Meta.enable_unredirect_for_display(global.display);
+
         this._switchData = null;
 
         for (let i = 0; i < switchData.windows.length; i++) {