Re: [xmonad] Refresh display, adapting to monitor resolution