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