fixed issue 56 : with windowmaker

git-svn-id: http://tint2.googlecode.com/svn/trunk@89 121b4492-b84c-0410-8b4c-0d4edfb3f3cc

ChangeLog

@@ -1,3 +1,7 @@
+2009-06-06
+- fixed issue 56 : with windowmaker
+  bug in windowmaker : send unecessary 'desktop changed' each time focus changed
+
 2009-06-06
 - add 'wm_menu' config option to disable window manager's menu
   if you don't specify "wm_menu = ", the default value will show WM menu.

src/tint.c

@@ -430,9 +430,14 @@ void event_property_notify (XEvent *e)
       }
       // Window desktop changed
       else if (at == server.atom._NET_WM_DESKTOP) {
-         remove_task (tsk);
+			int desktop = window_get_desktop (win);
-         add_task (win);
+			//printf("  Window desktop changed %d, %d\n", tsk->desktop, desktop);
-         panel_refresh = 1;
+			// bug in windowmaker : send unecessary 'desktop changed' when focus changed
+			if (desktop != tsk->desktop) {
+				remove_task (tsk);
+				add_task (win);
+				panel_refresh = 1;
+			}
       }
 
       if (!server.got_root_win) server.root_win = RootWindow (server.dsp, server.screen);

src/util/window.c

@@ -96,7 +96,7 @@ int window_is_hidden (Window win)
 
    at = server_get_property (win, server.atom._NET_WM_STATE, XA_ATOM, &count);
    for (i = 0; i < count; i++) {
-      if (at[i] == server.atom._NET_WM_STATE_SKIP_PAGER || at[i] == server.atom._NET_WM_STATE_SKIP_TASKBAR) {
+      if (at[i] == server.atom._NET_WM_STATE_SKIP_TASKBAR) {
          XFree(at);
          return 1;
       }
@@ -113,8 +113,9 @@ int window_is_hidden (Window win)
    XFree(at);
 
 	for (i=0 ; i < nb_panel ; i++) {
-		if (panel1[i].main_win == win)
+		if (panel1[i].main_win == win) {
 			return 1;
+		}
 	}
 
    // specification