Re: [Xquartz-dev] pixel doubling