Comment 25 for bug 868423

I'm a user who uses workspaces heavily but still hates the workspaces button. It's useless real estate to me. I want to get rid of it *without* losing my ability to switch workspaces with the keyboard.