}
-void resize_panel(void *obj)
+int resize_panel(void *obj)
{
Panel *panel = (Panel*)obj;
//printf("resize_panel : taskbar\n");
posy += panel->taskbar[i].area.height + panel->area.paddingx;
}
}
+ return 0;
}
}
// redraw panel's object
+ //p->area.redraw = 1;
GSList *l0;
Area *a;
for (l0 = p->area.list; l0 ; l0 = l0->next) {
a = l0->data;
set_redraw(a);
}
+
// reset task 'state_pix'
int i;
Taskbar *tskbar;