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

darcs-hash:20071006175458-8602e-3bc9eb53bde0d2269c9026aaad7fc6dca285067f.gz

1 files changed, 4 insertions, 0 deletions

diff --git a/Main.hs b/Main.hs
index f8de8ea..427a30c 100644
--- a/Main.hs
+++ b/Main.hs
@@ -254,4 +254,8 @@ handle e@(ConfigureRequestEvent {ev_window = w}) = withDisplay $ \dpy -> do
 -- configuration changes in the root may mean display settings have changed
 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