[gnome-shell] overviewControls: Sync hover after drag operations

[Florian Müllner <fmuellner src gnome org>]

commit 328c63bf64ef13f477156db2ae1c657957259130
Author: Florian Müllner <fmuellner gnome org>
Date:   Fri Jul 20 20:51:40 2018 +0200

    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

 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;