Gnome Shell 3 extension that disables the arrow displayed during workspace switching
Why do you think that https://github.com/mpdeimos/gnome-shell-remove-dropdown-arrows is a good alternative to disable-workspace-switcher-popup
Gnome Shell 3 extension that disables the arrow displayed during workspace switching
Why do you think that https://github.com/mpdeimos/gnome-shell-remove-dropdown-arrows is a good alternative to disable-workspace-switcher-popup