Shoot. That doesn’t work, because setZoom() checks if setSize() returns true before applying the new scale factor, but setSize() returns false because the size isn’t seen as changing at this point. That causes setZoom() to not apply the new scale factor, so my window still shows up twice as big as it should on a HiDPI display. No idea how to proceed now. 