Re: [PD] HiDPI on Linux