+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.
}
// Window desktop changed
else if (at == server.atom._NET_WM_DESKTOP) {
- remove_task (tsk);
- add_task (win);
- panel_refresh = 1;
+ int desktop = window_get_desktop (win);
+ //printf(" Window desktop changed %d, %d\n", tsk->desktop, desktop);
+ // 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);
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;
}
XFree(at);
for (i=0 ; i < nb_panel ; i++) {
- if (panel1[i].main_win == win)
+ if (panel1[i].main_win == win) {
return 1;
+ }
}
// specification