Switch workspaces by scrolling in the top panel
Why do you think that https://github.com/RuiGuilherme/gnome-shell-extension-clipboard-indicator is a good alternative to gnome-shell-scroll-workspaces
Switch workspaces by scrolling in the top panel
Why do you think that https://github.com/RuiGuilherme/gnome-shell-extension-clipboard-indicator is a good alternative to gnome-shell-scroll-workspaces