[gnome-shell/wip/carlosg/sync-pointer-in-mutter: 301/303] windowManager: Drop sync_pointer() after relayouts

[Carlos Garnacho <carlosg src gnome org>]

commit a223ab37919c78596db5568d27dfcf54ceec5048
Author: Carlos Garnacho <carlosg gnome org>
Date:   Fri Dec 18 13:27:39 2020 +0100

    windowManager: Drop sync_pointer() after relayouts
    
    We should trust the Clutter machinery here, as it has code to trigger
    focus changes triggered by relayouts.

 js/ui/windowManager.js | 9 ---------
 1 file changed, 9 deletions(-)
---
diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index bbe9b5d71f..58611d743d 100644
--- a/js/ui/windowManager.js
+++ b/js/ui/windowManager.js
@@ -203,8 +203,6 @@ var WorkspaceTracker = class {
                                this._windowEnteredMonitor.bind(this));
         global.display.connect('window-left-monitor',
                                this._windowLeftMonitor.bind(this));
-        global.display.connect('restacked',
-                               this._windowsRestacked.bind(this));
 
         this._workspaceSettings = new Gio.Settings({ schema_id: 'org.gnome.mutter' });
         this._workspaceSettings.connect('changed::dynamic-workspaces', 
this._queueCheckWorkspaces.bind(this));
@@ -326,13 +324,6 @@ var WorkspaceTracker = class {
             this._queueCheckWorkspaces();
     }
 
-    _windowsRestacked() {
-        // Figure out where the pointer is in case we lost track of
-        // it during a grab. (In particular, if a trayicon popup menu
-        // is dismissed, see if we need to close the message tray.)
-        global.sync_pointer();
-    }
-
     _queueCheckWorkspaces() {
         if (this._checkWorkspacesId == 0)
             this._checkWorkspacesId = Meta.later_add(Meta.LaterType.BEFORE_REDRAW, 
this._checkWorkspaces.bind(this));