Area area;
int desktop;
- int monitor;
// task parameters
int task_width;
} Taskbar;
-// --------------------------------------------------
-// global taskbar parameter
-Area g_taskbar;
+void init_taskbar();
+void cleanup_taskbar();
Task *task_get_task (Window win);
void task_refresh_tasklist ();
-// return 1 if task_width changed
-int resize_tasks (Taskbar *tskbar);
+void resize_taskbar(void *obj);
-void resize_taskbar();
-
-//void add_taskbar(Area *a);
#endif