diff --git a/js/ui/overview.js b/js/ui/overview.js index fbe8c3e15..d0b3affc1 100644 --- a/js/ui/overview.js +++ b/js/ui/overview.js @@ -213,10 +213,19 @@ Overview.prototype = { global.screen.get_workspace_by_index(this._lastActiveWorkspaceIndex).activate(time); this.hideTemporarily(); } + this._resetWindowSwitchTimeout(); this._lastHoveredWindow = null; DND.removeMonitor(this._dragMonitor); }, + _resetWindowSwitchTimeout: function() { + if (this._windowSwitchTimeoutId != 0) { + Mainloop.source_remove(this._windowSwitchTimeoutId); + this._windowSwitchTimeoutId = 0; + this._needsFakePointerEvent = false; + } + }, + _fakePointerEvent: function() { let display = Gdk.Display.get_default(); let deviceManager = display.get_device_manager(); @@ -239,11 +248,7 @@ Overview.prototype = { this._lastHoveredWindow = null; - if (this._windowSwitchTimeoutId != 0) { - Mainloop.source_remove(this._windowSwitchTimeoutId); - this._windowSwitchTimeoutId = 0; - this._needsFakePointerEvent = false; - } + this._resetWindowSwitchTimeout(); if (targetIsWindow) { this._lastHoveredWindow = dragEvent.targetActor._delegate.metaWindow;