From ba7cfff90caa7e2ef2c7571d21161b71ce1b6716 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jonas=20Dre=C3=9Fler?= <verdre@v0yd.nl>
Date: Sun, 6 May 2018 22:49:52 +0200
Subject: [PATCH] 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 2f88ce5fe..49b99dd18 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;
     }