Disabling the GNOME Workspace Switcher Popup (in GNOME 3.14 on Debian GNU/Linux).
This post is a public service announcement for all those using GNOME 3.14 or higher (in my case on Debian GNU/Linux, although that detail probably doesn't matter here).
I wanted to get rid of the workspace switcher popup. That's the thing that looks like this and displays briefly whenever you switch workspaces:
I do not know what that thing is for. It serves no purpose that I can see. When I go from one workspace to another, I am interested in the destination. Whether I moved conceptually "up" or "down" from another workspace to get there is utterly...