Area area;
int desktop;
- int current_state;
Pixmap state_pix[TASKBAR_STATE_COUNT];
// task parameters
//always start with area
Area area;
Background* background[TASKBAR_STATE_COUNT];
- //Background* bg;
- //Background* bg_active;
} Global_taskbar;
void task_refresh_tasklist ();
int resize_taskbar(void *obj);
+void on_change_taskbar (void *obj);
void set_taskbar_state(Taskbar *tskbar, int state);
// show/hide taskbar according to current desktop