[xmonad] Re: darcs patch: fix window rectangle calculation in X.A.UpdatePointer