From ae4dab761e96e80d5691793021c499e79abd63f1 Mon Sep 17 00:00:00 2001 From: Alexander Mikhaylenko Date: Sat, 9 Jan 2021 17:43:14 +0500 Subject: [PATCH] workspaceAnimation: Disable unredirection during the gesture Make sure fullscreen apps can't block the animation. Part-of: --- js/ui/workspaceAnimation.js | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/js/ui/workspaceAnimation.js b/js/ui/workspaceAnimation.js index 517fed44f..b21b3fe94 100644 --- a/js/ui/workspaceAnimation.js +++ b/js/ui/workspaceAnimation.js @@ -316,9 +316,13 @@ var WorkspaceAnimationController = class { switchData.monitors.push(group); } + + Meta.disable_unredirect_for_display(global.display); } _finishWorkspaceSwitch(switchData) { + Meta.enable_unredirect_for_display(global.display); + this._switchData = null; switchData.monitors.forEach(m => m.destroy());