+ if (tsk->current_state != state) {
+ tsk->current_state = state;
+ tsk->area.bg = panel1[0].g_task.background[state];
+ tsk->area.pix = tsk->state_pix[state];
+ if (tsk->state_pix[state] == 0)
+ tsk->area.redraw = 1;
+ panel_refresh = 1;
+ }
+}
+
+
+void set_task_redraw(Task* tsk) {
+ int k;
+ for (k=0; k<TASK_STATE_COUNT; ++k) {
+ if (tsk->state_pix[k]) XFreePixmap(server.dsp, tsk->state_pix[k]);
+ tsk->state_pix[k] = 0;
+ }
+ tsk->area.pix = 0;