From cc96523f7ab3d82572f91816359bc256683568dd Mon Sep 17 00:00:00 2001
From: Spencer Janssen <sjanssen@cse.unl.edu>
Date: Sat, 22 Dec 2007 11:45:59 +0100
Subject: EwmhDesktops: drop 'Workspace' from displayed workspace names

darcs-hash:20071222104559-a5988-47a910e983723343afcd83a64da60efb4b69afdc.gz
---
 XMonad/Hooks/EwmhDesktops.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/XMonad/Hooks/EwmhDesktops.hs b/XMonad/Hooks/EwmhDesktops.hs
index 34bec81..fba4060 100644
--- a/XMonad/Hooks/EwmhDesktops.hs
+++ b/XMonad/Hooks/EwmhDesktops.hs
@@ -97,7 +97,7 @@ setDesktopNames names = withDisplay $ \dpy -> do
     a <- getAtom "_NET_DESKTOP_NAMES"
     c <- getAtom "UTF8_STRING"
     let names' = map (fromIntegral.fromEnum) $
-            concatMap (("Workspace "++) . (++['\0'])) names
+            concatMap ((++['\0'])) names
     io $ changeProperty8 dpy r a c propModeReplace names'
 
 setClientList :: [Window] -> X ()
-- 
cgit v1.2.3