From c7208df8b30e737ec0033313689fe36c7f0bab81 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Sun, 20 Aug 2023 21:38:37 +0200
Subject: [PATCH] panel: Switch workspaces when scrolling over activities

The activities button now shows workspace indicators instead
of a label. Adding the ability to switch workspaces without
entering the overview seems like a logical extension.

Closes https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/6928

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2933>
---
 js/ui/panel.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/js/ui/panel.js b/js/ui/panel.js
index 316a90f37..6fa493b69 100644
--- a/js/ui/panel.js
+++ b/js/ui/panel.js
@@ -460,7 +460,7 @@ class ActivitiesButton extends PanelMenu.Button {
                 Main.overview.toggle();
         }
 
-        return Clutter.EVENT_PROPAGATE;
+        return Main.wm.handleWorkspaceScroll(event);
     }
 
     vfunc_key_release_event(event) {