Switching workspaces has long been a great power user feature, but isn't currently super well-exposed. Keyboard-heavy navigators can bind shortcuts to switch workspaces, but if your hand is already on the mouse, this proposal would frequently be more convenient.
Binding screen corner actions to workspace switching has the usual potential downsides, whereas currently mousewheel does nothing when the cursor is over the wingpanel.
Proposal
When hovering the mouse over the wingpanel, mousewheel up and down navigate to higher and lower number workspaces, respectively. That's about it, really.
This behavior wouldn't even need to be on by default to still be useful a certain % of users who might appreciate it.
Problem
Switching workspaces has long been a great power user feature, but isn't currently super well-exposed. Keyboard-heavy navigators can bind shortcuts to switch workspaces, but if your hand is already on the mouse, this proposal would frequently be more convenient. Binding screen corner actions to workspace switching has the usual potential downsides, whereas currently mousewheel does nothing when the cursor is over the wingpanel.
Proposal
When hovering the mouse over the wingpanel, mousewheel up and down navigate to higher and lower number workspaces, respectively. That's about it, really.
This behavior wouldn't even need to be on by default to still be useful a certain % of users who might appreciate it.
Prior Art (Optional)
Numerous Gnome Shell extensions over the years have provided this feature, eg https://github.com/sunwxg/gnome-shell-extension-panelScroll