+int resize_panel(void *obj)
+{
+ int ret = resize_by_layout(obj);
+
+ if (panel_mode != MULTI_DESKTOP) {
+ // 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 ret;
+}
+
+