Re: [xmonad] darcs patch: UpdatePointer: Make the pointer position configurable