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