[Xquartz-dev] pixel doubling