Charlie Harvey

#709

Thanks for the info. I have given up on Gnome and moved to Xmonad since writing this.