Re: [xmonad] Getting back my Gnome mouse pointer