[gnome-shell] switcherPopup: Disable hover on scrolling events

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

commit ba7cfff90caa7e2ef2c7571d21161b71ce1b6716
Author: Jonas Dreßler <verdre v0yd nl>
Date:   Sun May 6 22:49:52 2018 +0200

    switcherPopup: Disable hover on scrolling events
    
    Just like with keyboard events, disable hover on scrolling events. Mouse
    movements should not mess up the selection while scrolling.
    
    https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/167

 js/ui/switcherPopup.js | 2 ++
 1 file changed, 2 insertions(+)
---
diff --git a/js/ui/switcherPopup.js b/js/ui/switcherPopup.js
index 2f88ce5fed..49b99dd18c 100644
--- a/js/ui/switcherPopup.js
+++ b/js/ui/switcherPopup.js
@@ -228,6 +228,8 @@ var SwitcherPopup = GObject.registerClass({
     }
 
     vfunc_scroll_event(scrollEvent) {
+        this._disableHover();
+
         this._scrollHandler(scrollEvent.scroll_direction);
         return Clutter.EVENT_PROPAGATE;
     }