From 4efc2fd8aff3b5ce776fbdd6db10c9494dd4e06d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tor=20Hedin=20Br=C3=B8nner?= <torhedinbronner@gmail.com>
Date: Tue, 24 Apr 2018 19:01:26 +0200
Subject: [PATCH] Disable unredirect when switching workspaces

---
 navigator.js | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/navigator.js b/navigator.js
index 6c40f69..5f87f97 100644
--- a/navigator.js
+++ b/navigator.js
@@ -99,6 +99,7 @@ var PreviewedWindowNavigator = new Lang.Class({
     _initSpaceMru(move) {
         let heights = [0].concat(this._yPositions.slice(1));
         let multimap = this.multimap;
+        Meta.disable_unredirect_for_screen(global.screen);
 
         if (move && !Scratch.isScratchActive()) {
             this._moving = this.space.selectedWindow;
@@ -371,6 +372,8 @@ function switchWorkspace(to, from, callback) {
                        time: 0.25,
                        transition: 'easeInOutQuad',
                        onComplete: () => {
+                           Meta.enable_unredirect_for_screen(global.screen);
+
                            toSpace.cloneContainer.raise_top();
                            callback && callback();
                        }