Window buttons for the gnome shell panel