Re: [Xmonad] darcs patch: redraw decorations on PropertyNotify