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,
This commit is contained in:
Benno Fünfstück
2016-12-09 22:35:11 +01:00
committed by GitHub
parent f837a4fb36
commit 0949b9ec91

View File

@@ -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