* Zooms in or out on the screen. * Parameters: * centerx - x coord of zoom center on unclipped, unscaled screen * centery - y coord of zoom center on unclipped, unscaled screen * scalex - x scale factor * scaley - y scale factor */
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected