Add event handler for PropertyNotifyEvent that calls logHook if window title changed

This commit is contained in:
Christian Thiemann 2007-10-06 17:54:58 +00:00
parent f7ecf70a35
commit c66ff8335e

View File

@ -254,4 +254,8 @@ handle e@(ConfigureRequestEvent {ev_window = w}) = withDisplay $ \dpy -> do
-- configuration changes in the root may mean display settings have changed -- configuration changes in the root may mean display settings have changed
handle (ConfigureEvent {ev_window = w}) = whenX (isRoot w) rescreen handle (ConfigureEvent {ev_window = w}) = whenX (isRoot w) rescreen
-- property notify
handle PropertyEvent { ev_event_type = t, ev_atom = a }
| t == propertyNotify && a == wM_NAME = do logHook
handle e = broadcastMessage e -- trace (eventName e) -- ignoring handle e = broadcastMessage e -- trace (eventName e) -- ignoring