Re: [xmonad] Re: Patch: fix focus when user is moving the mouse