broadcast a ReleaseResources before restarting

This commit is contained in:
Andrea Rossato
2007-09-24 19:39:15 +00:00
parent e6fb743e5a
commit ee39e7fdb8

View File

@@ -166,7 +166,7 @@ keys = M.fromList $
-- quit, or restart
, ((modMask .|. shiftMask, xK_q ), io (exitWith ExitSuccess)) -- %! Quit xmonad
, ((modMask , xK_q ), restart Nothing True) -- %! Restart xmonad
, ((modMask , xK_q ), broadcastMessage ReleaseResources >> restart Nothing True) -- %! Restart xmonad
-- Extension-provided key bindings
]