Substitute scratch windows with clones

This is necessary for events to pass through to the space.
casch-at · Dec 5, 2020 · 25fcdea · 25fcdea
1 parent 87b6518
commit 25fcdea
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 0 deletions.
diff --git 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
@@ -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;