From 25fcdeaf29c5045ce681875d5ab42e31bbec0edb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tor=20Hedin=20Br=C3=B8nner?= <torhedinbronner@gmail.com>
Date: Thu, 20 Feb 2020 19:43:59 +0100
Subject: [PATCH] Substitute scratch windows with clones

This is necessary for events to pass through to the space.
---
 grab.js      | 1 +
 navigator.js | 4 ++++
 2 files changed, 5 insertions(+)

diff --git a/grab.js b/grab.js
index ff7fa3f..3918d8f 100644
--- a/grab.js
+++ b/grab.js
@@ -93,6 +93,7 @@ var MoveGrab = class MoveGrab {
         space.startAnimate();
         // Make sure the window actor is visible
         Tiling.animateWindow(metaWindow);
+        Navigator.getNavigator();
         Tweener.removeTweens(space.cloneContainer);
     }
 
diff --git a/navigator.js b/navigator.js
index 313ef72..2f9466f 100644
--- a/navigator.js
+++ b/navigator.js
@@ -211,6 +211,7 @@ var Navigator = class Navigator {
 
         TopBar.fixTopBar();
 
+        Scratch.animateWindows();
         this.space.startAnimate();
     }
 
@@ -320,6 +321,9 @@ var Navigator = class Navigator {
             }
         }
 
+        if (!Tiling.inGrab)
+            Scratch.showWindows();
+
         TopBar.fixTopBar();
 
         Main.wm._blockAnimations = this._block;