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