3eea370db2
This makes the workspace buttons align with the window borders, which is particularly visible with color configurations like the one in this screenshot: http://i.imgur.com/CH8srF5.png fixes #687