[axelf4]

Gnome is also incredibly slow to allow one to select a particular window when Alt-Tabbing. It is a one second delay every time you want to change window.