Scroll Panel
(It is Gnome 3.14 — 3.18 version, Gnome 3.20+ version is https://extensions.gnome.org/extension/1096/scroll-panel/)
Scroll Panel
(It is Gnome 3.20 — 3.38 version, Gnome 40+ version is https://extensions.gnome.org/extension/4257/scroll-panel/)
Scroll Panel
This extension allows switching between windows or workspaces by scrolling Gnome Shell topbar with mouse (both in overview and workspace modes).
