appSwitcher: ignore smooth scrolling

Ignore smooth scrolling when using the mouse wheel to scroll between apps to prevent skipping windows. Fixes #11396
linuxmint · Jan 6, 2023 · d1dd7b1 · d1dd7b1
1 parent d1e9617
commit d1dd7b1
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/js/ui/appSwitcher/appSwitcher.js b/js/ui/appSwitcher/appSwitcher.js
@@ -341,6 +341,8 @@ AppSwitcher.prototype = {
 
     // allow navigating by mouse-wheel scrolling
     _scrollEvent: function(actor, event) {
+        if (event.get_scroll_direction() == Clutter.ScrollDirection.SMOOTH)
+            return Clutter.EVENT_STOP;
         if(this._checkSwitchTime()) {
             actor.set_reactive(false);
             if (event.get_scroll_direction() == Clutter.ScrollDirection.UP)