int desktop;
// task parameters
- int task_width;
- int task_modulo;
int text_width;
} Taskbar;
Area area;
Background* bg;
Background* bg_active;
- int use_active;
} Global_taskbar;
int resize_taskbar(void *obj);
+// show/hide taskbar according to current desktop
+void visible_taskbar(void *p);
+
#endif