mirror of
https://github.com/xmonad/xmonad-contrib.git
synced 2025-07-31 12:11:52 -07:00
Merge pull request #127 from bennofs/patch-1
DynamicProperty: execute other hooks
This commit is contained in:
@@ -58,8 +58,8 @@ dynamicPropertyChange prop hook PropertyEvent { ev_window = w, ev_atom = a, ev_p
|
|||||||
when (ps == propertyNewValue && a == pa) $ do
|
when (ps == propertyNewValue && a == pa) $ do
|
||||||
g <- appEndo <$> userCodeDef (Endo id) (runQuery hook w)
|
g <- appEndo <$> userCodeDef (Endo id) (runQuery hook w)
|
||||||
windows g
|
windows g
|
||||||
return (All False) -- so anything else also processes it
|
return mempty -- so anything else also processes it
|
||||||
dynamicPropertyChange _ _ _ = return (All False)
|
dynamicPropertyChange _ _ _ = return mempty
|
||||||
|
|
||||||
-- | A shorthand for the most common case, dynamic titles
|
-- | A shorthand for the most common case, dynamic titles
|
||||||
dynamicTitle :: ManageHook -> Event -> X All
|
dynamicTitle :: ManageHook -> Event -> X All
|
||||||
|
Reference in New Issue
Block a user