From ee39e7fdb80740b8e7635adc09f19bd28c6b3c88 Mon Sep 17 00:00:00 2001
From: Andrea Rossato <andrea.rossato@unibz.it>
Date: Mon, 24 Sep 2007 19:39:15 +0000
Subject: [PATCH] broadcast a ReleaseResources before restarting

---
 Config.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Config.hs b/Config.hs
index 642a219..e28399c 100644
--- a/Config.hs
+++ b/Config.hs
@@ -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
     ]