Re: [xmonad] Patch (v2): UpdatePointer: Don't move the pointer if the user is moving the mouse.