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 328c63bf64)
This commit is contained in:
Florian Müllner 2018-07-20 18:51:40 +00:00 committed by Marco Trevisan
parent b359b937e9
commit 0b82388c49

View File

@ -284,6 +284,11 @@ var ThumbnailsSlider = new Lang.Class({
return child.get_theme_node().get_length('visible-width'); return child.get_theme_node().get_length('visible-width');
}, },
_onDragEnd() {
this.actor.sync_hover();
this.parent();
},
_getSlide() { _getSlide() {
if (!this._visible) if (!this._visible)
return 0; return 0;