From 279976024491ec2ded101d208947078ce698c695 Mon Sep 17 00:00:00 2001 From: Carlos Garnacho Date: Fri, 18 Dec 2020 13:27:39 +0100 Subject: [PATCH] windowManager: Drop sync_pointer() after relayouts We should trust the Clutter machinery here, as it has code to trigger focus changes triggered by relayouts. Part-of: --- js/ui/windowManager.js | 9 --------- 1 file changed, 9 deletions(-) diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js index 74168bc41..8e5c24ec4 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));