Do not warn about unknown ClientMessageEvents

Ignore-this: d02940888cd54cf209d6e5f4847548ab
Not all client messages are are meant to be handled by the wndow manager, so do
not complain when one is unknown.

darcs-hash:20090812222917-23c07-105d12c2d48165f574345695c13a802b2adb1b4c.gz

1 files changed, 4 insertions, 1 deletions

diff --git a/XMonad/Hooks/EwmhDesktops.hs b/XMonad/Hooks/EwmhDesktops.hs
index 744beb8..db8d4fb 100644
--- a/XMonad/Hooks/EwmhDesktops.hs
+++ b/XMonad/Hooks/EwmhDesktops.hs
@@ -152,7 +152,10 @@ handle ClientMessageEvent {
                killWindow w
         else if mt `elem` a_ignore then do
            return ()
-        else trace $ "Unknown ClientMessageEvent " ++ show mt
+        else do
+	   -- The Message is unknown to us, but that is ok, not all are meant
+	   -- to be handled by the wndow manager
+	   return ()
 handle _ = return ()