/* Mark the desktop on which a specified window resides for redraw. */ static void desk_set_dirty_by_win(PagerPlugin * pg, PagerTask * tk) { if (task_is_visible(tk)) { if (tk->desktop < pg->number_of_desktops) desk_set_dirty(pg->desks[tk->desktop]); else desk_set_dirty_all(pg); } }
static inline void desk_set_dirty_by_win(pager_priv *p, task *t) { ENTER; if (t->nws.skip_pager || t->nwwt.desktop /*|| t->nwwt.dock || t->nwwt.splash*/ ) RET(); if (t->desktop < p->desknum) desk_set_dirty(p->desks[t->desktop]); else desk_set_dirty_all(p); RET(); }