[Xmonad] darcs patch: change to using Properties to transmit state info (+4 ...