EwmhDesktops: drop 'Workspace' from displayed workspace names
EwmhDesktops: drop 'Workspace' from displayed workspace names

darcs-hash:20071222104559-a5988-47a910e983723343afcd83a64da60efb4b69afdc

kmels/xmonad-launcher,kmels/xmonad-launcher