@c_boyle I use awesomewm, but I've heavily customised it now. I was fed up with GNOME shifting under my feet.