From cbde13fc657c3da40eff36ad248394fe3142b35c Mon Sep 17 00:00:00 2001
From: Carlos Garnacho <carlosg@gnome.org>
Date: Fri, 18 Dec 2020 13:24:55 +0100
Subject: [PATCH] overview: Avoid sync_pointer after pop_modal()

This is only necessary for the X11 backend (as grabs triggered by other
clients leave GNOME Shell oblivious of the actual pointer position), but
is now handled inside Mutter.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1556>
---
 js/ui/overview.js | 1 -
 1 file changed, 1 deletion(-)

diff --git a/js/ui/overview.js b/js/ui/overview.js
index bcddb412f..136b69c1d 100644
--- a/js/ui/overview.js
+++ b/js/ui/overview.js
@@ -526,7 +526,6 @@ var Overview = class {
             this._animateNotVisible();
 
         this._syncGrab();
-        global.sync_pointer();
     }
 
     // hide: