From 0b82388c49bf9d47c55651b58a991e5050709919 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Fri, 20 Jul 2018 18:51:40 +0000
Subject: [PATCH] overviewControls: Sync hover after drag operations

During global grabs, actors miss enter and leave events required
for correct hover tracking. This can cause the workspace switcher
to get stuck while slid out, so ensure the actor's hover state is
synced after drag operations.

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/161


(cherry picked from commit 328c63bf64ef13f477156db2ae1c657957259130)
---
 js/ui/overviewControls.js | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/js/ui/overviewControls.js b/js/ui/overviewControls.js
index a2905abb9..1b1c9cf10 100644
--- a/js/ui/overviewControls.js
+++ b/js/ui/overviewControls.js
@@ -284,6 +284,11 @@ var ThumbnailsSlider = new Lang.Class({
         return child.get_theme_node().get_length('visible-width');
     },
 
+    _onDragEnd() {
+        this.actor.sync_hover();
+        this.parent();
+    },
+
     _getSlide() {
         if (!this._visible)
             return 0;