+int resize_panel(void *obj)
+{
+ resize_by_layout(obj, 0);
+
+ //printf("resize_panel\n");
+ if (panel_mode != MULTI_DESKTOP && taskbar_enabled) {
+ // propagate width/height on hidden taskbar
+ int i, width, height;
+ Panel *panel = (Panel*)obj;
+ width = panel->taskbar[server.desktop].area.width;
+ height = panel->taskbar[server.desktop].area.height;
+ for (i=0 ; i < panel->nb_desktop ; i++) {
+ panel->taskbar[i].area.width = width;
+ panel->taskbar[i].area.height = height;
+ panel->taskbar[i].area.resize = 1;
+ }
+ }
+ return 0;
+}
+
+