Resize the world due to changes in magnification so that the image is centred in the display area. @param scale the level of magnification (must be > 0)
(double scale)
source not stored for this graph (policy: none)
no test coverage detected