[gnome-shell/wip/exalm/gestures: 3/3] windowManager: Clip workspace animation to current monitor

[Alexander Mikhaylenko <alexm src gnome org>]

commit 19c5540d112cf6e7fd5828188f1872bbcf01aaa7
Author: Alexander Mikhaylenko <exalm7659 gmail com>
Date:   Mon Jul 1 13:53:49 2019 +0500

    windowManager: Clip workspace animation to current monitor
    
    Fixes https://gitlab.gnome.org/GNOME/gnome-shell/issues/1213

 js/ui/windowManager.js | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)
---
diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index c16c38301..e3e07461e 100644
--- a/js/ui/windowManager.js
+++ b/js/ui/windowManager.js
@@ -1719,12 +1719,16 @@ var WindowManager = class {
                 continue;
 
             let monitorData = { index: monitor.index,
+                                clipBin: new Clutter.Actor(),
                                 container: new Clutter.Actor(),
                                 curGroup: new Clutter.Actor(),
                                 surroundings: {} };
 
             monitorData.container.add_actor(monitorData.curGroup);
-            wgroup.add_actor(monitorData.container);
+
+            monitorData.clipBin.add_actor(monitorData.container);
+            monitorData.clipBin.set_clip(monitor.x, monitor.y, monitor.width, monitor.height);
+            wgroup.add_actor(monitorData.clipBin);
 
             for (let dir of Object.values(Meta.MotionDirection)) {
                 let ws = null;
@@ -1826,6 +1830,7 @@ var WindowManager = class {
             let container = monitorData.container;
             Tweener.removeTweens(container);
             container.destroy();
+            monitorData.clipBin.destroy();
         }
         switchData.movingWindowBin.destroy();