void cleanup_taskbar();
void init_taskbar();
+void init_taskbar_panel(void *p);
+void taskbar_remove_task(gpointer key, gpointer value, gpointer user_data);
Task *task_get_task (Window win);
GPtrArray* task_get_tasks(Window win);
void task_refresh_tasklist ();
-void resize_taskbar(void *obj);
+int resize_taskbar(void *obj);
#endif