Archive for October, 2014

Disabling the GNOME Workspace Switcher Popup (in GNOME 3.14 on Debian GNU/Linux).

Saturday, October 11th, 2014

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 […]