-- Found allowed layout, show it.
else refresh
--- Use additional workspaces. Access with alt 1,2,..,9,0 for the first ten,
--- f1,f2,..,f10 for the second ten workspaces (see mappings below).
+-- Use additional workspaces. Access with meta 1,2,..,9,0 for the first ten,
+-- meta f1,f2,..,f10 for the second ten workspaces (see mappings below).
myWorkspaces = map show [1 .. 20 :: Int]
-- Use Windows (= Super) key as main key as it doesn't conflict with any other
-- Switch to last active workspace, thanks to moljac024 in #xmonad on
-- Freenode (2010-12-18 14:45 CET).
, ((myModMask, xK_f), toggleWS)
+
+ -- Lock the screen. The sleep is necessary to allow xtrlock to grab the
+ -- keyboard input.
+ , ((myModMask, xK_z), spawn "sleep 1 && exec xtrlock")
]
++
-- When using multiple screens, switching to another workspace causes
-- (http://www.haskell.org/haskellwiki/Xmonad/Frequently_asked_questions).
-- Thanks to MrElendig in #xmonad on Freenode (2010-06-17 17:16 CEST) how
-- to use the default xmonad workspaces. Thanks to geekosaur and OODavo in
- -- #xmonad on Freenode (2012-12-23 01:14 CET) how to use my workspaces.
+ -- #xmonad on Freenode (2012-12-23 01:14 CET) how to use more workspaces.
[((m .|. myModMask, k), windows $ f i)
| (i, k) <- zip myWorkspaces ([xK_1 .. xK_9] ++ [xK_0] -- 1..9,0
++ [xK_F1 .. xK_F10]) -- f1..f10