From 0949b9ec91d92a9ede1a7a5e0bfcb2909384e7a0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Benno=20F=C3=BCnfst=C3=BCck?= Date: Fri, 9 Dec 2016 22:35:11 +0100 Subject: [PATCH] DynamicProperty: execute other hooks All False short-cuts the default behavior for the event, which leads to a non-functioning window manager. Returning mempty ensures that the default action is still executed, --- XMonad/Hooks/DynamicProperty.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/XMonad/Hooks/DynamicProperty.hs b/XMonad/Hooks/DynamicProperty.hs index 245df154..80195e9b 100644 --- a/XMonad/Hooks/DynamicProperty.hs +++ b/XMonad/Hooks/DynamicProperty.hs @@ -58,8 +58,8 @@ dynamicPropertyChange prop hook PropertyEvent { ev_window = w, ev_atom = a, ev_p when (ps == propertyNewValue && a == pa) $ do g <- appEndo <$> userCodeDef (Endo id) (runQuery hook w) windows g - return (All False) -- so anything else also processes it -dynamicPropertyChange _ _ _ = return (All False) + return mempty -- so anything else also processes it +dynamicPropertyChange _ _ _ = return mempty -- | A shorthand for the most common case, dynamic titles dynamicTitle :: ManageHook -> Event -> X All