From f7e4d44973bcd576d177151006159d8bfb5a0ffe Mon Sep 17 00:00:00 2001 From: Tomas Janousek Date: Wed, 20 Oct 2021 14:38:35 +0100 Subject: [PATCH] fixup! X.H.EwmhDesktops: Improve interface for custom workspace sorting, filtering and renaming --- 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 8833f96c94..f6dd58ec30 100644 --- a/XMonad/Hooks/EwmhDesktops.hs +++ b/XMonad/Hooks/EwmhDesktops.hs @@ -159,7 +159,7 @@ setEwmhWorkspaceSort f = XC.modifyDef $ \c -> c{ workspaceSort = f } -- > import Data.Char -- > -- > myRename :: String -> WindowSpace -> String --- > myRename s = pure (map toUpper s) +-- > myRename s _w = map toUpper s -- > -- > main = xmonad $ … . addEwmhWorkspaceRename (pure myRename) . ewmh . … $ def{…} --